Talk:Mario/@comment-26809686-20151103215022/@comment-5264252-20151103222320

It's Nintendo Everything. I doubt they'd just make it up. Not to mention I'm looking at the translation of the page right now and it very much says that their names are "Mario Mario" and "Luigi Mario" (albeit in broken English, but still).