Re: src.fedoraproject.org vs pkgs.fedoraproject.org and TLS