Fixes to the docs for 1.2.0.
Fixes to the HTMLdoc config.