Closed
Description
Currently a user can install a UI extension into a remote VS Code Server, but the extension is never activated. We should support that such extensions are activated.
One scenario is that users of VS Code Remote Containers can add UI extensions to the extensions section in the devcontainer.json.
If the same extension is installed both locally and remotely then the locally installed extension will have preference.