HTML documentation cleanup
more HTML documentation cleanup