Thanks for that link @ninahaskin.

Yes, we did see that he passed away. This blockchain will be emptier without him.