diff --git a/docs/user/mkdocs.yml b/docs/user/mkdocs.yml
index 11362b6111..fa3c9652e8 100644
--- a/docs/user/mkdocs.yml
+++ b/docs/user/mkdocs.yml
@@ -53,6 +53,7 @@ nav:
           - pure::variants: settings/tools/pure_variants.md
       - Model sources:
           - Git: settings/model-sources/git.md
+          - T4C: settings/model-sources/t4c.md
       - Alerts:
           - Create an alert: additional/alerts/create.md
           - Delete an alert: additional/alerts/delete.md
@@ -92,4 +93,6 @@ markdown_extensions:
 extra:
   generator: false
 
+dev_addr: 127.0.0.1:8081
+
 copyright: Copyright © 2022-2023 DB Netz AG