I added some logging and it was immediately triggered: it looks like everything in read_files is duplicated.