[devpi-dev] Switching PyPI mirror index to pypi.org