redoc:
  - label: Quickstart
  - page: redoc/quickstart.md
  - group: Deployment
    expanded: false
    page: redoc/deployment/intro.md
    pages:
      - label: HTML element
        page: redoc/deployment/html.md
      - label: React component
        page: redoc/deployment/react.md
      - label: Docker image
        page: redoc/deployment/docker.md
      - label: Command-line interface
        page: redoc/deployment/cli.md