[document-updater] remove deleted docs from redis GitOrigin-RevId: ec9ad55d3c5cd9b55f56599de671068c00442f49