Do explicit mirror resolve with curl

host suddenly doesn't understands hostname with https://. I'm not sure
it did before, it could be DNS server doing some magic.
5 jobs for curl in 27 minutes and 28 seconds (queued for 3 seconds)