Yeah, I got the joke. I was (and still am) tempted to downvote though because puns and pun chains are low effort and reddit-esque. "What you posted didn't register at first", "I'll have to think about that for a bit", "Why can't we post flip flop puns? This community is too gated", etc.
Personally I don't mind some "reddit esque" (or whatever you want to call them) comments here and there. The level of those present on HN is low anyway. They could/should be less in some cases, but they don't bother much as the majority is still mostly insightful comments or interesting discussions. Imagine a completely sterile online community without any communication side-tracked, even if it's just a tiny bit, from the informational topic. That just wouldn't feel right to me. The equivalent of a "everyone got a stick up their lower half" workplace. Yuck.
I'm not even sure what it is I am saying. Maybe I'm advocating for a more laissez faire internet, the responsible use of censoring powers, or maybe it's a silent cry to get me banned from HN...
edit: I didn't get the "JK". You got me there. Well played.