According to
http://developer.postgresql.org/pgdocs/postgres/buildlog.html
the git-tip documentation build hasn't happened since the 19th,
and a quick look-around at
http://developer.postgresql.org/pgdocs/postgres/index.html
confirms that recent docs changes don't seem to be showing there.
regards, tom lane