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
Thanks