Re: [Mailman-Developers] how to mass-set user options?