7 ms·

I had interacted with him over the mailing list a few times and he was always very helpful. I'll miss him. ZZ