Well, actually I did ban him, he banevaded. K Will see I think I forgot something to add into the ban.
Checking it.
Ban was correctly made. What I did now, I added second ban, where I only banned his IP, in the first one I did it with the steamID.
Let's see how it turns out.
Thanks for reporting, in case you see him PM me please.