Make Sagelib a pip-installable Python source package, listed on PyPI (2016) | Hacker News Reader