History of main 9 changes

In src/main.rs, lines 8–23 on 7ba155f20aa080b927154967d98e3d13a6cde4c1c092df385a728adad1c3b5e9+ee06a6c557b7207430d0e0ddb398c8f4bfbbefc691cce83d4ba98d4fece2f58d+ff1a64f81c1c23dfa03b467649595a81929df3857b4281d1029acc6a825065b1. 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 8,23:src/main.rs.