Do we actually want to do that with the PyPI CDN? I thought `--use-mirrors` was discouraged now.