Recovering WSGI-Kerberos from a PyPI mirror (since it disappeared from PyPI)