Hello, I just subscribed to this mailing list. I would like to know the IRC server and channel for this group.