Sourcegraph Director of Product here: We're interested in extensions as a way for our users to extend our platform, you never know how creative developers are until they can hack your product! Do you have ideas in mind for extensions you'd like to build/use?

In relation to the terminal, do you have anything in mind you'd like to use it for?