[misc] improve handling of document deletion GitOrigin-RevId: bd6b225b91ab38365e9ff272c50ece995e767bf2
[document-updater] add script for checking for redis vs mongo de-syncs GitOrigin-RevId: b51b61efd750f37180c09af5ccf5681712719ee2