I completed the move of the mailing list to Google Groups. Membership
has been transferred too, so you essentially shouldn't have to do
anything to continue to receive list emails.
The new address of the mailing list is:
The web interface is:
I also got the entire mailing list archive imported to Nabble, so for
an exhaustive search you can go to: