Cut a release from the Unreleased changelog section: version bump, release branch, PR, squash merge, tag, GitHub release
