I was being sarcastic. The spoiler really did spoil the joke, although the joke was such a minor part that it didn't matter very much. The point remains.
Many people read the HN comments before the submission, and the spoiler, well, spoilt it.
Many people read the HN comments before the submission, and the spoiler, well, spoilt it.
And it spoilt it. For no value.
And that's my point. If it had also contained some actual value then I'd've shrugged and not minded.
No doubt I won't persuade you, so I'll stop now.