[hex13]

BTW how to downvote comments on HN? I sometimes "flag" them to mark as downvote, but I'm not sure if flag is the same as downvote.

[semi-extrinsic]

You need karma > 500 to downvote. And even then, you cannot downvote replies to your own comments etc.