though Mario was known as Jumpman back then. In the movie, the name of this arcade game has been changed … to Jump Man. From our morning news briefing to a weekly Good News Newsletter ...