[web] de-duplicate logic for get a list of hard deleted project ids GitOrigin-RevId: daf2ff427e24f9ef9253e4bc9ff52f53196fd854
[scripts] add a script for deleting orphaned docs GitOrigin-RevId: f3b16d900cc162852491bd7a83fe1ba61a0579d8