History of gc 5 changes

In src/cli/workspace.rs, lines 1431–1466 on cd4eb55e3b3d5201e29f6e6a59a5839b4d184864adcfbd988cb5401e1d25a03f. 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 1431,1466:src/cli/workspace.rs.