Un problema que evidentemente ha sido ajeno a nosotros y que ha sido provocado por un error en la resolución de nombres del servidor DNS.
Parece que todo está solucionado, pero durante un buen rato ni nosotros mismos hemos podido acceder a la página, y yo mismo he estado actualizando “a ciegas”.
Lamentamos ese corte de servicio del que acabamos de recuperarnos. No estábamos desayunando ni nada parecido, que conste 😉