nav:
    - index.md
    - Adding an extension app: new_extension.md
    - Releasing: releasing.md
    - Deploying the demo: demo.md
