These files contain the "+RTS -t --machin-readable" output, so that we can spot performance regressions.