[PHP-DOC] Docs offline?

[Klaus Silveira]

I just noticed that the documentation is offline, as well the main PHP.net
news. Is this a major problem? How can we help?