I'm glad it's been deservingly downvoted.

It was at the top of the comments when I saw this hit HN, and it pissed me off to see a trollish shitpost in that position, especially when the post is about the community losing an awesome contributor (and a friend).