I see the SSL cert is for the name ddtp.debian.net and it is self signed. Any chance to get a good certificate for ddtp.debian.net + ddtp2.debian.net, or should we use http only? Thanks