Documentation
Here is an introduction for developers hoping to edit the documentation.
To build the documentation, install the requirements from requirements.txt with
pip install -r requirements.txt
Then, build the documentation by
make clean html