Anyone else finding https://dl.fedoraproject.org/ is down? Resolves to a bunch of IPs in Cogent's netspace, but none of them have 443 open