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

ZZ