Start the release of main by hand (the CI, then a GitHub release of its zips), since no push runs it.