Reserver is gone, but PyPI's name reservation problem isn't