vscode extension, language server, linter, molecule, runner, navigator and potentially other development goodies. Bot output logged to devtools-bots