DeprecatedEapi: version 20150707: uses deprecated EAPI 7
  HttpsUrlAvailable: version 20150707: HOMEPAGE: HTTPS url available: http://www.grimrock.net/ -> https://www.grimrock.net/