HttpsUrlAvailable: version 0.198: HOMEPAGE: HTTPS url available: http://us.metamath.org/ -> https://us.metamath.org/