HttpsUrlAvailable: version 20220303: HOMEPAGE: HTTPS url available: http://us.metamath.org/mpeuni/mmset.html -> https://us.metamath.org/mpeuni/mmset.html