Remove docHistoryIndex collection from db helpers

GitOrigin-RevId: 02a2c2291e1b7cb92558e2b1091275bd6cd15e5b

services/web/app/src/infrastructure/mongodb.js

@@ -39,7 +39,6 @@ const db = {
   deletedUsers: internalDb.collection('deletedUsers'),
   dropboxEntities: internalDb.collection('dropboxEntities'),
   dropboxProjects: internalDb.collection('dropboxProjects'),
-  docHistoryIndex: internalDb.collection('docHistoryIndex'),
   docSnapshots: internalDb.collection('docSnapshots'),
   docs: internalDb.collection('docs'),
   feedbacks: internalDb.collection('feedbacks'),

tools/migrations/lib/mongodb.mjs

@@ -18,7 +18,6 @@ export const db = {
   deletedUsers: internalDb.collection('deletedUsers'),
   dropboxEntities: internalDb.collection('dropboxEntities'),
   dropboxProjects: internalDb.collection('dropboxProjects'),
-  docHistoryIndex: internalDb.collection('docHistoryIndex'),
   docSnapshots: internalDb.collection('docSnapshots'),
   docs: internalDb.collection('docs'),
   feedbacks: internalDb.collection('feedbacks'),