well, in case it helps, most of our users are on vscodium, the "open open" version of vscode with microsoft stuff stripped out. there's also editors like theia that support running vscode extensions