Don't list which files to add, since the ones that *were* missing have

now been added.