I'm not quite sure it would really be based on that since Mario is a regular name first, before any Nintendo connection. In my case, where I pretty much never use Mario in the context of a first name or in relation to the character/Nintendo, if I type it in there's no autocorrect that takes place and it just stays as I type it in, "Mario".