cmc deploy/release.sh gzips each binary (gzip -n -9); SHA256SUMS covers the .gz files. A release goes from about 117 MB to 46 MB. Two runs give identical sums. Admin and supply-chain wiki pages updated. Existing releases unchanged. Closes #321