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.