I'm absolutely horrified to learn of this. I always enjoyed reading his highly knowledgeable and sometimes peppery posts, and it's hard to think they're at an end now. We're all the poorer for it. My deepest sympathies to his family. R.I.P.