They were, but I unbanned them after seeing the comment and looking at the recent history. We garbage collect unnecessary bans that way, although it's sporadic and ad hoc.