0.8.9.32:

0.8.9.32:

* Documentation changes:

    - Document trace and require

    - Add variable index

    - Remove explicit links from @node lines, since makeinfo figures
      this out anyway and they would make automagic contrib/
      documentation inclusion harder.

    - add file TEXINFO-HINTS

* Documentation infractructure changes:

    - document functions etc. with package prefix; index without
      package prefix too (makeinfo seems to index the name with prefix
      without being asked, so we just lay back and enjoy it)

    - Move list-of-packages-to-extract-docstrings-from to Makefile

    - Escape Texinfo special characters in documentation bodies as well.