Today I learned that Mario, the beloved character from Nintendo's Mario franchise, was originally named Jumpman. Created by Shigeru Miyamoto in 1981 for the arcade game Donkey Kong, Mario later became the official name of the character in subsequent games.