Closed tychonievich closed 10 months ago
We already had a link in the navigation sidebar, but it went nowhere; this adds the section it references.
This PR addresses half of #103
resolves #61
Merging per steering committee agreement 19 October 2023
We already had a link in the navigation sidebar, but it went nowhere; this adds the section it references.