Techdocs site down (db error)

Hi all,

Just went to the techdocs site, and it's got error messages all over it:

***********

Warning: main(/share/cookiestart.html): failed to open stream: No such
file or directory in
/usr/local/www/techdocs.postgresql.org/techdocs/global.inc on line 16

Warning: main(): Failed opening '/share/cookiestart.html' for inclusion
(include_path='.:') in
/usr/local/www/techdocs.postgresql.org/techdocs/global.inc on line 16

(and more)

***********

No idea how long it's been that way.  Perhaps since the PHP upgrade?

Regards and best wishes,

Justin Clift