History of lock 3 changes

In src/cli/workspace.rs, lines 1573–1583 on 5ad2b56544c58c4ae28564f1e8bc6758eaabb4b97ae37d2c6304a65d1e5e155e. 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 1573,1583:src/cli/workspace.rs.