How about publishing on open-vsx ?

[perrinjerome]

https://open-vsx.org/ is a vendor neutral repository of vscode extensions that is not limited to vscode (See https://www.eclipse.org/community/eclipse_newsletter/2020/march/1.php for more context).

Would you mind publishing this extension there ? I would love to be able to use this extension from theia .There's a how to you can follow to publish extension yourself https://github.com/eclipse/openvsx/wiki/Publishing-Extensions .

If you prefer, I can also add it to https://github.com/open-vsx/publish-extensions/ so that it gets automatically published.

Thanks in advance !