# docs
This folder contains the documentation

## Developer note

When a commit is deployed for these files, a Github Action builds and verifies the page, then a commit is made to the `gh-pages` branch.