All, Mailman is now fully operational, and the old lists are being removed. Please use the new addresses for all future correspondence. Mark List Maintainer