Pretty weird, are those bans permanent or are you going to reverse them if they come back and ask nicely?
I was going to ask the same thing as I can't seem to find his UID in the seclog. Maybe it's just a temp ban?
This reminds me of:
Is it possible that a direct ban from the theymos won't show in whatever dashboard you moderators have?
This would explain the so-called ban for CH none of us saw on the seclog
Maybe theymos bans are not shown because he didn't make them through the dashboard
A temp ban on request makes zero sense...