nav:
  - Intro: README.md
  - Use cases: cases.md
  - Tutorial: tutorial.md
  - Installation: installation.md
  - Configuration: config.md
  - Troubleshooting: troubleshooting.md
  - Manual pages: man
  - Design: design.md
  - Security: security.md
  - Status socket: socket.md
  - Hacking: hacking.md
  - API: api.md
  - Changelog: changelog.md
  - Development: development.md
  - Contributors: contributors.md
  - Contact and bug reporting: contact.md
