nav:
  - index.md
  - developer-onboarding.md
  - mcp-developer-guide-json-rpc.md
  - github.md
  - building.md
  - documentation.md
  - review.md
  - packaging.md
  - release-management.md
  - developer-workstation.md
  - doctest-coverage.md
  - module-documentation.md
  - db-performance.md
  - manual_test_migration.md
  - profiling.md
