What we really need is a searching/indexing system for the local copy of the
documentation.

Boolean operators in search expressions would be good, too.
