E. wrote....
Mirrors are an good idea, but if only the people who
mirror would learn
that the time stamp of the original file should be preserved ;-)
Going from memory (too lazy to check), but I seem to recall that rsync
(we're using rsyncd on the bitsavers site for mirroring) has an option that
allows the timestamps to be corrected from source to destination without
retransferring the files. The mirrors should look in to that :)
Jay