When someone has a long history of abusing HN, the standards are different. Normally I'd just post a warning in cases like this. Actually, even if this were the first time this particular account had posted abusively, I'd have used a warning rather than a ban. But there are enough abusive comments in this account's history also, and this comment was a particularly clear case of reverting to a long-established pattern.