Docs updates.

Some HTML5 conformance fixes, some content changes to match recent code
changes.