> 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?