Do I have to download mibbit to use the IRC channel that's listed on top of the page?