Issues with mizar.docs.uu.info access could stem from improper redirect settings between different versions of the site. Check the following links for alternative routes:

http://mizar.docs.uu.info https://mizar.docs.uu.info

Or return to the current status page of mizar.docs.uu.info.