@cmconseils@mastodon.social @fsvo@old.mermaid.town Presumably those are the names the American translator came up with to replace the Japanese names, as with Super Mario Brothers