Comment by jxub

The extension is awesome, it could just have a bit more polish in the firefox version (font and icon don't seem to load properly in the browser bar, at least in most recent version of the firefox dev edition). Thanks for your hard work on sourcegraph though!