merge(master): resolve conflicts for PR #906 providers/insights

Merge prgs/master into feat/issue-650-providers-insights. Conflicts in
webui/app.py, webui/nav.py, and docs/webui-local-dev.md kept both:
- #650 providers/insights routes and docs
- #645 gitea linkage routes and docs

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>

webui/nav.py

@@ -6,7 +6,7 @@ destination is a GET view or a Phase 1 placeholder. No mutation links.
 
 Nav groups follow the #631 information architecture: Health, Traffic,
 Runtime/Sessions, Projects, Inventory, Timeline, Policy (placeholder), and
-Insights (Phase 4 providers + evidence-backed insights via #650). Later-phase
+Gitea linkage (#645) plus Phase 4 Insights/Providers (#650). Later-phase
 surfaces are declared as ``stub`` items and backed by ``STUB_PAGES`` so their
 nav links resolve to a graceful placeholder instead of a 404.
 """
@@ -60,6 +60,9 @@ NAV_GROUPS: tuple[NavGroup, ...] = (
     NavGroup("Timeline", (
         NavItem("/timeline", "Timeline", "stub"),
     )),
+    NavGroup("Gitea", (
+        NavItem("/gitea", "Issue/PR linkage"),
+    )),
     NavGroup("Policy", (
         NavItem("/policy", "Policy", "stub"),
         NavItem("/prompts", "Prompts"),