Minor documentation fix.
Add initial support for HTML output.