Heads up that the hosting provider will be doing some maintenance on October 10th, 2024, beginning at 6AM PDT. This maintenance may cause disruptions with the mailing list for a period of up to 4 hours. Thanks, Frank --