History of abandon 2 changes

In src/cli/workspace.rs, lines 1880–1937 on a2387d547373968f42202e7e5f2897e504b01b03777c470089a4c74cdca13f2d. 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 1880,1937:src/cli/workspace.rs.