We're migrating the download server, so it will be down for somewhere between 10 and 60 minutes (depending on how long it takes GCP to issue a new certificate). Apologies for any inconvenience.
In the meantime at least one of the two following backup services should be available: