another load of documentation; improvements to docs.html