Write a script that incrementally deduplicates indices

[DavidNemeskey]

... using deduplicate_index_urls.py. That script does the hard work; all that is needed to call it repeatedly, while updating the URL index after each call.