HttpsUrlAvailable: version 1.6: HOMEPAGE: HTTPS url available: http://bertini.nd.edu -> https://bertini.nd.edu:443/