I seem to be unable to join the ghc chatroom at irc.freenode.net at the moment (using Opera). Is that an issue with my irc client or a general problem? 15:47 Joining chat room... Disconnected from chat Claus