The run that has just finished, after 3h21m, with 1h02m waiting for the list, involved 15710 files. Of these 13920 were only timestamp changes. All of them were in development/... --