Docs with index

I've added some index entries to the user's guide as exploration.  The
result can be seen at

http://www.postgresql.org/~petere/doc-with-index/bookindex.html

The patch is at

http://www.postgresql.org/~petere/doc-with-index/patch

Comments are welcome as to whether this seems useful, and if so, about the
selection of the index entries.  (There need to be more, of course.)

--
Peter Eisentraut      peter_e@gmx.net       http://yi.org/peter-e/