A week or two back we got a bug report from someone that they were downloading Fedora from download.fedora.redhat.com via https and the ssl cert didn't match up. Of course it wouldn't, as download.fedora.redhat.com has pointed to our dl.fedoraproject.org servers for at least 2.5 years now. Since no one should be using this old dns entry now, I asked for it to be removed. I probibly should have made more noise at the time, but didn't think too many people would still be using it. :( I did make a pass at fixing anything I could see still using it in the wiki. In any case, it's gone now. Please take a few minutes to go and look and see if you have any docs or wiki pages or notes or anything else that refers to this old entry, and update it. Please point them to 'dl.fedoraproject.org' (if you want to point directly to our master mirrors) or 'download.fedoraproject.org' (If you want it to point to a mirrormanager mirror that contains the content you seek). Sorry if this causes any issues for anyone, but after 2.5 years, we should really be able to move on.