6b1c14b263
[web] Correctly re-index when collaborator changes bib file GitOrigin-RevId: 21d5416d54c6b89c434bf9c994c6e8d57a5a92e4