The documentation build on developer.postgresql.org is working again.
-- Peter Eisentraut peter_e(at)gmx(dot)net