HttpsUrlAvailable: version 3.1.1: HOMEPAGE: HTTPS url available: http://fmv.jku.at/kissat/ -> https://fmv.jku.at/kissat/