backtick code comments/snippets from source text are. really not widely standardized, I don't think it makes sense to encourage them without an accompanying web standard, or at least some kind of standard
Gotcha, didn't realize it was standardized. I feel like I heard about CommonMark when it first was announced and I more or less wrote it off as another markup format, but thanks for the clarification.
My poor little internet points <\3 sorry HN for the unforgivable offense of asking a benign question
The markup that it uses for comments should use one though - and apparently it does! Others have mentioned that it uses a subset of CommonMark as mentioned in your post's sibling comments.
The page with HN's formatting options is a bit hidden (in the FAQ). I'm not surprised people don't know about it.
https://news.ycombinator.com/formatdoc