Update to master & make time.txt optional.
Place one commit a line in mem/summary.json, to make the diffs more manageable.