Just to test, I have downloaded them all. But I only have 1214 files,
> so I think there about 540 missing.
Hmm, I was expecting under 2000, and inadvertently truncated the list.
Untruncated version follows. I haven't tried to de-dupe the http vs
https here, though I did filter out some other dupes.
De
