message: put plugins docs in it's own sidebar
diff: ],
  "API Reference": [
  "api/commands",
  - "api/arguments",
  - {
  - "type": "subcategory",
  - "label": "Plugins",
  - "ids": [
  - "api/plugins/introduction",
  - "api/plugins/system",
  - "api/plugins/playback",
  - "api/plugins/record",
  - "api/plugins/popup",
  - "api/plugins/export"
  + "api/arguments"
  ]
  - }
  - ],
  - "Build a Plugin": [
  - {
  - "type": "subcategory",
  - "label": "Introduction",
  - "ids": [
  + },
  + "plugins": {
  + "Introduction": [
  "plugins/plugins-getting-started",
  "plugins/extension-id",
  "plugins/health-checks"
  - ]
  - },
  - {
  - "type": "subcategory",
  - "label": "Concepts",
  - "ids": [
  + ],
  + "Concepts": [
  "plugins/requests",
  "plugins/error-handling",
  "plugins/emitting-code"
  - ]
  - },
  - {
  - "type": "subcategory",
  - "label": "Extending the IDE",
  - "ids": [
  + ],
  + "Extending the IDE": [
  "plugins/adding-commands",
  "plugins/ide-events",
  "plugins/emitting-setup-teardown"
  - ]
  - }
  + ],
  + "API Reference": [
  + "api/plugins/introduction",
  + "api/plugins/system",
  + "api/plugins/playback",
  + "api/plugins/record",
  + "api/plugins/popup",
  + "api/plugins/export"
  ]
  }
  }
  