Feature #9796: HTTPS mirrors
Drop HTTP mirrors
Looks goot to me, I've adjusted
bin/statsaccordingly, and double-checked that all mirrors from the DNS pool are still enabled (had to re-enable one to make this hold true).
Now, I wonder: why did you since add a non-HTTPS mirror to
I deleted that one now.