The internal mirror script has been fixed to not clobber the timestamps for old files, so this should no longer be a big problem.
The internal mirror script has been fixed to not clobber the timestamps for old files, so this should no longer be a big problem.