That's why I’ve stopped feeding the troll — I just downvote or flag when necessary. It’s a shame because, years ago, he was one of the better commenters on HN.