Since Jenkins has been taken offline, our release process is out of date and broken. We don't need to generate build artifacts anymore, and our script for generating a new release notes section is broken. The manual process is error prone and tedious. It should all be automated as much as possible.