Why Millions of Gamers Around the World Insist They Remember Mario’s Name as “Harold”