Another frog job: pepper the documentation with indexing commands

[David Kastrup]

The documentation is not really indexed all that well: new additions
often are made without indexing entries.  Going through the source and
index and trying to make sure that interesting things can be found under
obvious names in the index is a bunch of work requiring mostly editorial
skills.

-- 
David Kastrup