[mizar] Mizar website seems to be down

[Alex Nelson <thmprover@gmail.com>]

Hello,

I just tried to look at the Mizar website, and its mirrors, they both seem to be down:

https://mizar.uwb.edu.pl/ gives a 404

https://mizar.org/ seems to point to some other website entirely

Best,

Alex