The documentation is available in HTML format at doc/user-manual.html.
