Deepest sympathy to his family. Although I only knew him from his posts, I learned much from him.
R.I.P.