HttpsUrlAvailable: version 3.67-r3: HOMEPAGE: HTTPS url available: http://www.tug.org/ -> https://tug.org/