For Mario Kart World, Nintendo had to dig out the oldest Mario lore like dusty books in an ancient library: “Does Mario, in fact, eat mushrooms?”