Closed as not planned
Description
I think that, being based on Theia, this IDE should be compatible more or less out of the box with the open vsx ecosystem, right?
https://www.gitpod.io/blog/open-vsx/
Can we get a dedicated menu / pane to the Debug / Boards Manager / Library Manager ones, but dedicated to user installed plugins and extensions, to be able to install such extensions and plugins manually?