diff --git a/mkdocs.yml b/mkdocs.yml
index 0c1d08a..bf459c0 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -62,6 +62,8 @@ nav:
       - Token ergonomics: token-ergonomics.md
   - Evaluation: evaluation.md
   - Using it:
+      - Pre-push security for developers: pre-push-for-developers.md
+      - 'Use case: catch, prove, fix, re-verify': use-case-fix-and-reverify.md
       - Examples: examples.md
       - Threat model: threat-model.md
   - Operations (maintainers):