Rename main docs to "User Guide"

jspahrsummers · jspahrsummers · commit 6f3b515f7499 · 2025-04-07T17:09:04.000+01:00
diff --git a/docs/docs.json b/docs/docs.json
@@ -11,7 +11,7 @@
   "navigation": {
     "tabs": [
       {
-        "tab": "Documentation",
+        "tab": "User Guide",
         "groups": [
           {
             "group": "Get Started",
