Happy to see Sourcegraph going strong. I often use the browser plugin to help me browse various parts of Jenkins / plugins on github, and find it immensely helpful when trying to understand the workings of some part of it that I don’t happen to have checked out.