A clever way to ignore people on IRC