Christmas gift for GitHub users: instant search on users/repos | Hacker News Reader