We banned that user's account, so we agree that it was a very bad comment, among multiple very bad comments from them. But please don't respond, even to very bad comments, with personal attacks. Just flag them and email us (hn@ycombinator.com) so we can take the appropriate action.