Chrome extension for searching within a Github repo.