Rudi Hoffman died yesterday at the age of 83. Many English-speakers gamers don’t know Hoffman’s name, but they probably know…