For installation instructions, see doc/install.html.