Filtering Lists



> Peter, I wonder what you mean by a unified index.

A passing nostalgia, Robert, for MIT Scheme's one-page binding index;
in retrospect, `?? list' would have given me `sublist' on the first page
of results.

> Also I am working on a documentation category system, similar to
> category tags in some wiki systems.

Interesting; taggable by the public, as it were?