History of main 9 changes

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