[jbosstools-dev] Vagrant tooling in JBoss Tools 4.4 ?

Hello, So far, we've included the Docker tooling from the Linux Tools project (http://eclipse.org/linuxtools), but this project also provides with tooling for Vagrant. The Vagrant tooling comes with 2 views which list boxes and virtual machines. The "Vagrant Boxes" view has a toolbar to create/add/remove boxes, and the "Vagrant VMs" view's toolbar lets the user stop/start/destroy and SSH into the VMs. Also, all those commands are exposed as an API, so they can be invoked by third-party plugins. As far as OpenShift and CDK tooling are concerned, would it make sense to include the Vagrant tooling in JBoss Tools TP ? I'm thinking about the CDK Server Adapter in particular. Best regards, Xavier