Mailing list moved

The mailing list has moved to Google Groups.