For the installation guide, see htmldoc/install.html.
