Do we want `--use-mirrors`, now that pypi is behind a cdn?