No, it has nothing to do with the original name for Mario, but it is an old-school arcade platform game! Covering the classic games Jumpman, Jumpman Junior, and Jumpman Lives!