[scripts] add new script for back filling the names of deleted docs GitOrigin-RevId: c3a7ad8ba1306728bc1a433bec5dc847651bf94d