On 14/11/2025 15:21, John K Clark wrote: > By the way, why don't you let Google Groups host this list? Please, please, please, don't do that. I'd hate to lose this list. -- Ben (someone who Doesn't Do Google, for a number of reasons)