Make targets of doc links used by phpPgAdmin static

Hi,

Attached is a documentation patch against head which makes
static the targets of the on-line PG html documentation that
are referenced by the phpPgAdmin help system.

Apply with "patch -p1" at the top of the pg code tree.

The phpPgAdmin project is a web interface into PG. It
contains help links which reference the PG on-line docs. At
present, each time there's a new PG release many of the
internal ids within PGs html doc pages change, and the
phpPgAdmin code must track such changes. This
patch makes static those ids referenced by phpPgAdmin.

Of course phpPgAdmin will always need to adjust to changes
in the PG docs but this patch will eliminate periodic
annoying scutwork.

Regards,

Karl <kop(at)meme(dot)com>
Free Software: "You don't pay back, you pay forward."
-- Robert A. Heinlein