I am so sorry to (belatedly) read this news.

John was always very helpful to me over the years with his replies to my banal technical inquiries, and his replies were never condescending, much though they would have been entitled to be.

RIP, John...