IIRC that's the name that friends and colleagues used to refer to him. It pops up in a lot of their quotes.