Thanks for the message. Which IRC channel should I join?