It's an open source project. https://github.com/petethepig/devtools-terminal You can check out the source code and even build the whole thing yourself )