I don't care about details like missing groups or wrong names, or the
temporary inability to reply via google groups (being fixed). I'm just
glad we got the new news server set up. So I say again: thanks to Gerv,
and to Giga for hosting, and to Google for helping feed groups.
You are welcome. It's heart-warming to see them so well used so quickly :-)