While I strongly object to jokes and mindless comments on serious topics, there's really not a lot to say or any interesting discussion to be had on this particular subject.
Lightly mocking that doesn't really detract from anything, not on this post.
That was my thinking as well, this post is light enough that we can all unwind and joke around.
Completely agreed. Tenuously on topic, if Hacker News had - shudder - badges, then today I would have earned something like "Lightweight: posted something of sufficient triviality to attract a joker".