Prefer HTTPS to HTTP for gnu.org 5172fa02cccaab2500ecf85aaf65b8deed54d42e Paul Eggert Sun Oct 1 19:59:01 2017 -0700