PHP online manuals just went down

Hi. I use your PHP documentation constantly, and I just "watched" the whole documentation go offline and disappear - the folders containing them seem to be empty... E.g.: http://www.php.net/manual/en/ Only contains .. and build.log.gz timestamped 2012/1/23 12:37 I did not see any notice anywhere for planned offline time. I hope you can get these back online soon. Thanks!