How Jumpman Became Mario

This will only appeal to the uber-nerds who know that Mario was originally called "Jumpman" and was a carpenter instead of a plumber.

Everyone else: I got nothing for ya. Grab your torches, head back to camp.