History of main 9 changes

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