[Coq-Club] Coq website down?

[Xuanrui Qi]

Hi all,

I can't access the Coq website coq.inria.fr, but can ping. Is the Coq
website temporarily down?

Thanks.

-Ray