[web] script to force flushing docs to mongo GitOrigin-RevId: 6ce3c1e456b92610fe4f90993b373db2070ab392