You are right that the issue should be patched, bear in mind though that there will always be ways of annoying people on IRC and some arn't always possible to defend against. It's a shame that there's people that have nothing better to do with their time and I am sure we all agree on that point.
