Let's not waste any more time thinking about it. The comment is more than reason enough to ban the account.

That may be true, and you may have banned the account, but I don't think you banned the person.

New account created immediately after, responding to the same thread with the same sentiment but less extreme specific statements.

https://news.ycombinator.com/user?id=drentost