Please update links: download.fedora.redhat.com -> dl.fedoraproject.org

[Kevin Fenzi]

Greetings.

For the last 2.5 years, download.fedora.redhat.com has been an alias in
DNS for dl.fedoraproject.org. This was a welcome alias when moving our
master mirrors, but has long since been complete.

https links using the old name don't verify correctly (as our master
mirrors are using the fedoraproject.org ssl cert, not a redhat.com
one).

The old name is also misleading, leading some to contact Red Hat for
issues or concerns about the hosts, leading to delays and overhead.

For these reasons we have removed the download.fedora.redhat.com alias
from DNS. Please update any scripts, documentation, links or other
resources that used the old download.fedora.redhat.com.

You can use 'dl.fedoraproject.org' if you wish to refer to the primary
mirrors that are managed by the Fedora Project Infrastructure.

You can use 'download.fedoraproject.org' if you wish to use a
mirrormanager provided mirror that may be close to you via GeoIP,
netblock or ASN.

Please bring any issues or concerns with this change to the Fedora
Infrastructure team.

Thanks,

kevin