Update code web extension

[jeanp413]

Description

Update code web extension gitpod-io/gitpod-code#16

Related Issue(s)

Fixes https://linear.app/gitpod/issue/EXP-1086

How to test

1. Open a workspace in vscode web
2. Check there following commands are not present
   • Gitpod: Open Community Chat
   • Gitpod: Follow us on Twitter
   • Gitpod: Report Issue
   • Gitpod: Upgrade Subscription

Documentation

Preview status

Gitpod was successfully deployed to your preview environment.

• 🏷️ Name - jp-appropr597d433063
• 🔗 URL - jp-appropr597d433063.preview.gitpod-dev.com/workspaces.
• 📚 Documentation - See our internal documentation for information on how to interact with your preview environment.
• 📦 Version - jp-appropriate-seahorse-gha.22333
• 🗒️ Logs - GCP Logs Explorer

Build Options

Build

• /werft with-werft
  Run the build with werft instead of GHA
• leeway-no-cache
• /werft no-test
  Run Leeway with --dont-test

Publish

• /werft publish-to-npm
• /werft publish-to-jb-marketplace

Installer

• analytics=segment
• with-dedicated-emulation
• workspace-feature-flags
  Add desired feature flags to the end of the line above, space separated

Preview Environment / Integration Tests

• /werft with-local-preview
  If enabled this will build install/preview
• /werft with-preview
• /werft with-large-vm
• /werft with-gce-vm
  If enabled this will create the environment on GCE infra
• /werft preemptible
  Saves cost. Untick this only if you're really sure you need a non-preemtible machine.
• with-integration-tests=all
  Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh. If enabled, with-preview and with-large-vm will be enabled.
• with-monitoring

/hold

[mustard-mh]

Should we remove them from gitpod-remote / desktop extension too?

[mustard-mh]

LGTM