Does anyone have the address of the CMU server? For some unknown reason I
cannot connect to the irc.antionline server.