- name: Documentation
  href: index.md
- name: Manual
  href: manual/
  homepage: manual/index.md
- name: API
  href: api/index.md
- name: Release Notes
  href: ReleaseNotes/ReleaseNotes.md
- name: Tutorials
  href: tutorials/index.md