History of checkpoint 4 changes
In src/cli/workspace.rs, lines 1777–1790 on 47ce8b8e2d4b900bead43a3741c6fc8d8115451ce6a88ff9d603bb2b8d1407c2. Every change that wrote or deleted one of these lines, or deleted a line from between them. Exact, because each line keeps its identity across edits; edits elsewhere in the file are not here. Also: oxy log -L 1777,1790:src/cli/workspace.rs.