https://sourcegraph.com/search?q=context:global+repo:%5Egithub%5C.com/sourcegraph/sourcegraph-vscode%24+extension.+file:package.json&patternType=literal
According to the docs, an extension-specific prefix should be used for all command names. Otherwise, name clashes with other extensions would be possible. Thus, if I am not wrong, it might be a good idea to rename all extension.* commands into sourcegraph.* commands. This would also affect #195.
