cargo-release doesn't do everything we want during the release process, so a separate script ends up being necessary if I don't want to forget steps.