It was a terrible post, of course, and we've banned the account. But can you please not respond to a bad comment by breaking the site guidelines yourself? It only makes things worse.

This is in the site guidelines: "Don't feed egregious comments by replying; flag them instead." - https://news.ycombinator.com/newsguidelines.html

(a.k.a. don't feed the trolls)

In egregious cases like this one, you're welcome to email us a heads-up at hn@ycombinator.com.