use "https-proxy" before "http-proxy" or "proxy"

Now that we have to fetch from https, we should check for and use the https-proxy setting first.