OK, I guess my sense of humour hasn't translated into your context. Clearly my comment makes you think I didn't get the joke, but I did.
> "I'm guessing you didn't realize that this joke is presented as a joke, ..."
Oh, I did. Really, I did.
I guess we're just talking past each other. <shrug> You didn't get my joke, probably because you think I didn't get the original.
Time to give up.
I really do think we've just been talking past each other. When something is as obviously "tongue-in-cheek" as the original post, I find it funny when people (a) get the joke, then (b) play it with a completely straight bat. It appears that doesn't cross cultural boundaries in the way I thought it would.
You're not alone ... some of my comments are getting significant numbers of downvotes.
<shrug> ... "Humour".
I'll go back to appearing humourless and commenting purely technically on purely technical things. Meanwhile ... nice to connect with you ... thanks for the responses.
I appreciate the feedback ... I think the best thing for me is just not to try again, and to be explicit when I know something is a joke, and clear that I'm adding factual information.
Watching people continue to downvote the comments I've made, HN is clearly the wrong place for me to do otherwise.
I can't speak to online forums (I use them for so many things), but I'm sure Twitter is the right place for humor, and not the right place to announce a serious belief you've proved a long standing mathematical problem.