Prefer HTTPS to HTTP for gnu.org