Remove ability to disable the main gitlab web ide VSCode extension
Description
Currently in the GitLab Web IDE example, the main extension, which makes everything work properly, can be disabled globally by the user 😱
Let's make sure they can't do this...
Edited
by
Paul Slaughter