This loses the history of these files, but that history is both trivial (they're all 3-line files) and hard to merge.