Are there bots that downvote comments on HN? Why would anyone downvote this comment?