toc:
  - name: Overview
    file: README.md
  - name: Development
    file: docs/development.md
  - name: Configuration Reference
    children:
      - name: Rules
        file: docs/rules.md
      - name: Fixes
        file: docs/fixes.md
      - name: Axioms
        file: docs/axioms.md
  - name: API Reference