History of lock 3 changes

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