Remove unnecessary mirror option

This should not be necessary after PyPI has been migrated to a new backend.