release.py: pull main code into main().