Talk:All confirmed names/@comment-2600:1700:1CA0:4030:A050:2BF3:B244:411F-20190317165512

I think the official names for

Yellow Guy is Doi

Red Guy is.....well Red Guy (Red for short)

and Hugo has actually been confirmed so you can add that to the list.