Indeed, but I only came across the obituary today; there seemed to be little discussion on HN at the time, and the retrothing writeup added some background to t

Indeed, but I only came across the obituary today; there seemed to be little discussion on HN at the time, and the retrothing writeup added some background to the story that I didn't see in the other obits.