mensi·10 месяцев назад·discussThat just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/