Code coverage reports; minor cleanup

Code coverage reports are now available as part of automated tests.
A number of small cleanups in the code and documentation.