docs(legal): editorial changes (#5828)

* docs(legal): editorial changes * remove from tos
2026-10-18 05:52:51 +00:00 · 2023-05-12 10:51:17 +02:00
parent 99857ff954
commit 91431cb451
5 changed files with 42 additions and 100 deletions
@@ -83,7 +83,7 @@ module.exports = {
        },
        {
          type: "doc",
-          docId: "legal/introduction",
+          docId: "legal",
          label: "Legal",
          position: "right",
        },