Pyenv is an unusual choice here.  It would be better to stick to more commonly used tools.  Certainly we should reference PyPI as a home for tools, not Github.