Using `tools/release.sh` will generate release zip archives here, but they
should not be included in the repo!