History of run 5 changes

In crates/oh/src/main.rs, lines 537–594 on 17a3a84b00d107b22ce152f9fa3124ac43bfb67b00295287cc2398ac7f13c711. 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 537,594:crates/oh/src/main.rs.