To file a new release note, either edit these source files directly or open an issue.
This section outlines the structure of this repository, and some key files.
This directory contains the documentation.
To view it in your browser, navigate to this directory and type make run.
This directory contains files used for documentation build checks via GitHub's CI.