Chrome extension that adds IDE features to GitHub (jump-to-def, find usages) | Hacker News Reader