Sourcegraph Chrome extension for GitHub: jump-to-def and better code search for Gosourcegraph.com7 pointsattfarhan10 years ago