Manual:deduplicateArchiveRevId.php