HttpsUrlAvailable: version 2.4.1: HOMEPAGE: HTTPS url available: http://souffle-lang.github.io/ -> https://souffle-lang.github.io/