Documentation

The documentation lives in the docs folder and uses mdBook. Please document new user-facing features here!

Using GitHub actions, the documentation on master is automatically published to the project homepage via GitHub pages. See .github/workflows/gh-pages.yml for the configuration of GitHub Actions.