Additions to the docs.

Also removed the date stamp which was causing a change to every HTML file
with every revision, regardless of whether the documentation changed.
Pointless.