History of gc 4 changes

In src/cli/workspace.rs, lines 1037–1072 on 73d592e763abec60d9d504caf0407322a8401fdf2fd9c4c8dc9aa5d26f1fd4ce. 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 1037,1072:src/cli/workspace.rs.