I'd expect more than a single off-color comment before banning someone. This particular user has a long set of perfectly valid and relevant comments throughout his comment history. There should be a pervasive problem with the user that fails to be resolved, even after an open dialog with others, before the community resorts to the boot. Even then, there's no reason for a hell ban specifically. Hell bans are meant to throw off unmonitored spammers who aren't meticulous enough to check that they do in fact have clean accounts to spam through. The Jesus-Spam that's been making the rounds recently is a good example; lots of Bible verses and more or less the exact same message in every post, not at all relevant to the link. Obvious spam. Sabat obviously isn't in this category.
However, the moderation system on HN isn't even opaque; it's a pitch black box. Zero accountability.