User talk:174.222.137.215

Jumpman
As it turns out, Mario was the most common name shown to the public upon the game's release. Mario was only referred to as Jumpman only a few times in other material before the game's release. See here. – Owencrazyboy9 (talk) 20:45, July 19, 2019 (EDT)