The coq.io website cannot be accessed.

[zmqgeek]

hello, now I have visited the URL of http://coq.io, and it shows that the webpage is not working correctly, coq.io is currently unable to process this request, HTTP ERROR 503. When will the website be back up and running?

[NicholasBHubbard]

The site is still down. Perhaps the documentation could be moved into this repositories readme to avoid issues with the site?

[clarus]

OK, thanks for the update, I will look at how to put these websites back