The `make-release.py` script is totally separate, so just leave it as it is.