Currently, the extension is published to the VS Code Marketplace through our release automation. To make it availableVS Code-compatible editors (like VSCodium, Theia, Cursor, etc.), we should extend this automation to also publish to OpenVSX submit a pull request to add it to extensions.json in the open-vsx/publish-extensions repo.
Currently, the extension is published to the VS Code Marketplace through our release automation. To make it availableVS Code-compatible editors (like VSCodium, Theia, Cursor, etc.), we should
extend this automation to also publish to OpenVSXsubmit a pull request to add it to extensions.json in the open-vsx/publish-extensions repo.