Fixed the irc link in d42591e6e57ca0c940f0690325d9a8079311e8df.

I know nothing of IRC, so @fat or someone else will have to weigh in on the renaming.