2. You can nitpick on technicalities, but it doesn't matter to lacero if he was hell-banned or ip-blacklisted. All that matters is that his comments go in trash can and that's what I was trying to rectify.
PS. A proper way to support these cases is to add "flag for mod review" option to dead comments and/or user accounts. Unlike the email option, it would be actually usable for everyone. Until then I will keep posting "hell-banned" when I see an account with auto-killed, but otherwise reasonable comments. Have a nice weekend.