Add or remove IDE extensions

Add or remove VS Code extensions in OpenShift Dev Spaces workspaces by changing the Open VSX registry URL, editing workspace devfiles, or using the command line.