Releasing

The release process is automated via GitHub Actions, and defined in the Workflow release.yml.

Each release is cut by pushing a semantically versioned tag to the default branch.