ATTENTION: several people are unable to post to this group.

There's a malfunction in Google Groups' posting engine, afflicting an
apparently significant number of users. Full details are here:

Thanks for posting about that, I wondered what was going on. I could
not find a ticket about it so I created one,