[Sohcahtoa82]

Making jokes on HN is pretty hit-or-miss.

Though I suppose a joke based off a typo is pretty low-effort.

[xboxnolifes]

Hard to say if they downvoted for the joke, or they just stopped reading at "Indeed they do". I'll say I stopped reading until I saw the reply.