I was making a rash assumption based on the language in the official announcement. It didn’t even occur to me that it was Martinet’s idea (because more and more Americans are waiting past 70 to retire, especially in creative industries, plus Martinet has gone on record saying he’d voice Mario “until I die” or wasn’t…