That may be true, but is it worth keeping as we may push to PyPI, even if we don't plan on installing from there?