See Games Differently
Now you can get the top stories from Kotaku delivered to your inbox. Enter your email below.
Mario hasn’t always been known as Mario. Back in the day, one of his earlier names was Jumpman. The story of how the change came about is informative, if also a little said, especially for poor Pauline.