Start moving web documentation to doc/html.

This kind of documentation is really part of a programmer's guide, rather than API documentation.
Remove unnecessary <br/>.