[Mailman-Developers] Re: (Maybe) misconfigured docs.mailman3.org DNS & SSL