Update target of "IRC on Freenode" link.

http://irc.freenode.net was not useful, so I added
/community/irc/ page instead.