configurable server_names for pypi-mirror