nav:
    - index.md
    - workspace-types.md
    - virtual-workspaces.md
    - workspace-initialization.md
