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