Just found out I cannot access any page of coq.inria.fr like some basic library
https://coq.inria.fr/library/Coq.Lists.List.html
for about a week.
Indeed, unfortunately, a combination of unlucky factors has resulted in this situation. We are aware of it and actively working on fixing it. See https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Website.20down.3F for more info.
FWIW, all of Coq documentation is also available through this address, which is not affected by the downtime: Coq documentation
Unfortunately the Coq Stdlib documentation on GitHub is also affected due to using assets from the website. But if one aborts the loading of the documentation in browser, it should be possible to see the resulting HTML page without assets.