Do not edit *html files. Edit src/index.php and src/*inc files and run `make`
in this directory.
