I am reconfiguring servers. Want to make sure the mailing list still works. Please ignore this message, and accept my apologies for cluttering your inbox.