https://w3id.org/ -- Down?

Dear all:

It seems that  https://w3id.org/ has been down for a couple of hours (from
this time of writing).  Does anyone know when it will be up/active?

/$¡rm
Best regards,
Sergio

Received on Wednesday, 16 October 2019 03:51:33 UTC