2 ms·

I chatted with him a couple of times too. (had to dig up really old IRC logs to remember). Definitely a nice person!