help: add empty documents entry, update config accordingly

pandora/config.0xdb.jsonc

@@ -86,6 +86,7 @@
         {"id": "lists", "title": "Lists"},
         {"id": "player", "title": "Player"},
         {"id": "editor", "title": "Editor"},
+        {"id": "documents", "title": "Documents"},
         {"id": "edits", "title": "Edits"},
         {"id": "texts", "title": "Texts"},
         {"id": "embeds", "title": "Embeds"}

pandora/config.indiancinema.jsonc

@@ -87,6 +87,7 @@
         {"id": "lists", "title": "Lists"},
         {"id": "player", "title": "Player"},
         {"id": "editor", "title": "Editor"},
+        {"id": "documents", "title": "Documents"},
         {"id": "edits", "title": "Edits"},
         {"id": "texts", "title": "Texts"},
         {"id": "embeds", "title": "Embeds"}

pandora/config.padma.jsonc

@@ -86,6 +86,7 @@
         {"id": "lists", "title": "Lists"},
         {"id": "player", "title": "Player"},
         {"id": "editor", "title": "Editor"},
+        {"id": "documents", "title": "Documents"},
         {"id": "edits", "title": "Edits"},
         {"id": "texts", "title": "Texts"},
         {"id": "embeds", "title": "Embeds"}

pandora/config.pandora.jsonc

@@ -86,6 +86,7 @@
         {"id": "lists", "title": "Lists"},
         {"id": "player", "title": "Player"},
         {"id": "editor", "title": "Editor"},
+        {"id": "documents", "title": "Documents"},
         {"id": "edits", "title": "Edits"},
         {"id": "texts", "title": "Texts"},
         {"id": "embeds", "title": "Embeds"}

static/html/help.html

@@ -151,6 +151,9 @@
     </p>
     <img src="/static/jpg/help.editor.jpg">
 </div>
+<div id="documents">
+    <p>Coming soon...</p>
+</div>
 <div id="edits">
     <p>Coming soon...</p>
 </div>