Comment by meysholdt

The offering of www.gitpod.io also allows to operate an online IDE similar to VS Code for your users: You could host it yourself for your users or gitpod.io can host it for you. In any case: custom extensions, integrations, and branding is possible.