distorted.lisp: No, there isn't an HTTPS certificate for the list server.