The TM Terminal feature allows to use terminals like Git Bash (on Windows), and others. See #763 where we added it to our development environment. I miss it in the runtime, where it would be useful to run for instance Python and bash scripts. ToolDef is great, but sometimes I have other needs. We discussed in #872 and decided not to include it in the product/IDE, as users can install it themselves using the marketplace. So, the idea is now to add the terminal feature only to our `escet-dev-runtime.launch` file. Then that way, we can have it in our runtime, and it is not in the product/IDE for end users. And our `escet-product.launch` also still mimics the end user product/IDE as closely as possible.