3 ms·

I tracked down his email address and shot him off a long email. Hopefully he still remembers who I am :-)