The Install instructions are now in HTML format, in the
file INSTALL.html.
