How the Index to the User's Guide works

The file docindex.html was produced by the WN utility indexmaker. Indexmaker produces a collection of HTML unordered lists with entries like
<li> <a href="search=context?content-type">content-type</a>

This is an anchor to a relative URL. The complete URL would be

http://host/docs/search=context?content-type
which asks the server to do a
John Franks <john@math.nwu.edu>