@miah How do IRC bans actually work? Can't a banned user just enter the channel again immediately with a new nickname?