During 5/28 opening plenary, Sascha mentioned an IRC channel was set up for back-chat during the conference. What is name/IP for the IRC server?