History of lock 3 changes

In src/cli/workspace.rs, lines 2151–2161 on 54e2e6309aa32691f0029cc15aa75136d011d0f614cf128f60d1431e360712e7. 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 2151,2161:src/cli/workspace.rs.