History of merge 3 changes

In src/cli/workspace.rs, lines 2302–2339 on f53cbe7a204ed350be16ea3e03c9e7ff3f00abd782ca2738b200ea58142974b4. 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 2302,2339:src/cli/workspace.rs.