To render these docs locally, run:

./render.sh
python3 -m http.server 8000

The docs can then be viewed at localhost:8000.