message: Document some aspects of Settings Sync
  Mainly the general idea behind why you cannot sync to Gitpod without this and the guide on how to do it. It does not include anything about what it even is, which may be a good thing to add.
diff: @@ -55,6 +55,7 @@ export const MENU: MenuEntry[] = [
  M("Local Companion", "ides-and-editors/local-companion", [], "beta"),
  M("JetBrains Gateway", "ides-and-editors/jetbrains-gateway", [], "beta"),
  M("VS Code Extensions", "ides-and-editors/vscode-extensions"),
  + M("VS Code Settings Sync", "ides-and-editors/settings-sync"),
  M("Command Line (e.g. Vim)", "ides-and-editors/command-line", []),
  M(
  "Configure your IDE/editor",
  