whats the IRC channel? is it Freenode?