HttpsUrlAvailable: version 2.5.2: HOMEPAGE: HTTPS url available: http://verify.inf.usi.ch/opensmt/ -> https://verify.inf.usi.ch/opensmt/