I posted John’s obituary to Hacker News, and there was a lovely outpouring of thanks and gratitude for John and his works.
The site management put up the “black armband”; the header of the page has a black top border. This is traditionally done in memoriam of a significant figure in the tech/science community dying.