They use vscode extensions and the repository in discussion, so not sure how much derisking it is than vscodium .