History of doctor 1 change

In src/cli/workspace.rs, lines 1574–1642 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 1574,1642:src/cli/workspace.rs.