History of gc 5 changes

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