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