Can you ban or killfile him? With such a small population, the IRC channel could probably get away with blocking the whole IP address range that he could possib

Can you ban or killfile him? With such a small population, the IRC channel could probably get away with blocking the whole IP address range that he could possibly occupy. You shouldn't have to put up with jackasses like that. Seriously, bans work. I know at least one forum which has kept trolls away for years with the mighty ban-hammer, and maintained consistent quality of posts by making chronic idiocy a ban-worthy offense.