renamed BasicPlugin -> DevtoolsTerminal