Around Feb 10 there was some discussion about irc. I am catching up with my reading and don't see any final decision on the irc subject. Did we go with a new setup or with one of the existing networks? I have never had much incentive to do much with irc, but this interests me. :-)