This repository is just a deployment place for the JSX web interface.
To maintain this site, type the following command:
make # update the site
make ship # add & commit & push
Don't edit files other than Makefile, README.md and .gitmodules; the other files are automatically generated.