Comment by grzm

If they're a troll, don't feed them. That goes back to Usenet as well. There's never a reason on HN to be uncivil.