Writing documentation

These docs are stored in the docs/ directory of the website repository. They are built using Sphinx.

To run a development server:

make docs-dev

This will run the Sphinx development server locally (not in a container).