That just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/

Huh I did not know that. I’m usually on careful about not using well-known nicknames unless the person goes by them.