Putting the I back in IDE: Towards a GitHub Explorer (2018) | Hacker News Reader