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.