As a workaround, I propose we upload the binaries to the GitHub Releases of cpython-bin-deps, and update get_externals.py to download binary dependencies from release assets. Sources will continue to ...