Ah, okay. Thanks. I wasn't the person who asked for the bot to be put on the channel, thus wasn't informed of this ruling on the bots side. but I understand it fully now.

What I may ask now though is, if banning a user works by bannign his host, is it possible to ban the username itself? As it seems the particular user has been able to change his host once since banning, be it he was using a netcafe or what I am unsure of. So I was thinking of banning him by some of his common nicks.