Show total chunks/embeddings in the indexed-documents popup

Adds a summary line above the per-document list (e.g. "2 documents —
9 chunks / 9 embeddings"), recomputed on every open and after each
remove so it always reflects what's actually indexed right now.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

index.html

@@ -332,7 +332,8 @@
   <div class="modal-box" style="max-width:420px;text-align:left;">
     <button type="button" class="sidebar-close-btn" id="ragDocsModalClose" aria-label="Close" style="position:absolute;top:14px;right:14px;">✕</button>
     <div class="modal-title" style="text-align:center;">Indexed documents</div>
-    <div class="modal-sub" id="ragDocsModalSub" style="margin-bottom:14px;text-align:center;">For this conversation</div>
+    <div class="modal-sub" id="ragDocsModalSub" style="margin-bottom:4px;text-align:center;">For this conversation</div>
+    <div id="ragDocsSummary" style="margin-bottom:14px;text-align:center;font-size:12px;color:var(--muted);"></div>
     <div id="ragDocsList" style="display:flex;flex-direction:column;gap:8px;max-height:300px;overflow-y:auto;"></div>
   </div>
 </div>
@@ -729,6 +730,7 @@ const ragDocsModalOverlay = document.getElementById('ragDocsModalOverlay');
 const ragDocsModalClose = document.getElementById('ragDocsModalClose');
 const ragDocsModalSub = document.getElementById('ragDocsModalSub');
 const ragDocsListEl = document.getElementById('ragDocsList');
+const ragDocsSummaryEl = document.getElementById('ragDocsSummary');
 const ragTopKDownBtn = document.getElementById('ragTopKDown');
 const ragTopKUpBtn = document.getElementById('ragTopKUp');
 const ragTopKValueEl = document.getElementById('ragTopKValue');
@@ -2133,11 +2135,17 @@ async function removeRagDocByName(name) {
 
 async function renderRagDocsList() {
   ragDocsListEl.innerHTML = '<div style="text-align:center;color:var(--muted);font-size:13px;padding:12px 0;">Loading…</div>';
+  ragDocsSummaryEl.textContent = '';
   const documents = await fetchRagDocsList();
   if (!documents.length) {
     ragDocsListEl.innerHTML = '<div style="text-align:center;color:var(--muted);font-size:13px;padding:12px 0;">No documents indexed in this conversation yet.</div>';
     return;
   }
+  // One embedding vector per chunk, always — there's no separate
+  // per-document embedding count to report, so this is really one
+  // number shown two ways for anyone expecting them to differ.
+  const totalChunks = documents.reduce((sum, doc) => sum + (doc.chunks || 0), 0);
+  ragDocsSummaryEl.textContent = `${documents.length} document${documents.length === 1 ? '' : 's'} — ${totalChunks} chunk${totalChunks === 1 ? '' : 's'} / ${totalChunks} embedding${totalChunks === 1 ? '' : 's'}`;
   ragDocsListEl.innerHTML = '';
   documents.forEach((doc) => {
     const row = document.createElement('div');