Is the IRC channel listed on the first post correct?