applied as r10353. i made some formatting changes and updated links in the documents, and had to modify the manifest and some html document generation code. all in all, a pretty simple change.
it would be great if somebody could take a look at the docs as a whole and rework them where necessary (add index info, make sure links are valid, format <80 chars per line, etc.) but i believe we already have tickets for these things. ticket resolved. ~jerry
