This will break if the other extension is not installed or disabled (eventually we'd like to add ability to disable extensions including default extensions). You should be able to call `brackets.app.showDeveloperTools()` directly.