History of merge 2 changes

In src/cli/workspace.rs, lines 1689–1725 on f7510b63cceb5e4e237fe11b3a467a4583b1f0276fedfd18e2f7a25e27bf6356. 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 1689,1725:src/cli/workspace.rs.