Oh, man. My rate of trying to insert a non-obscure joke into a comment and a half-dozen commenters taking the exact words at face value and then pointing out their factual incorrectness is too damn high. I don't know if it's a symptom of, let's say, neurodiversity, or ESL, but humor on HN is almost universally punished. I don't think they are bots because once in a while I crack jokes in AI prompts (to amuse myself when exceptionally bored) and the LLMs always recognize them, even if they don't respond right away with a sensible chuckle GIF.