Developer Docs.

No functional changes to code.
This release adds documentation to help developers navigate the body of source code.
(See doc/html/index.html.)