Please don't break the site guidelines yourself, no matter how egregiously another commenter has behaved. This is covered in the guidelines too: https://news.ycombinator.com/newsguidelines.html.
You are 100% correct. I know that I have the troll gene (that is troll as in fishing for reactiong, not troll = evil hater) so I need to check myself regularly that my reaction to trolls isn't to try out-troll them. I fight I know I can't win but mainly I respect that it shouldn't be fought here.