[Mailman-Developers] Re: Better documentation for Mailman Core's config options