Xide-extension Packages

See [here](https://www.theia-ide.org/doc/index.html) for a detailed documentation.