History of main 9 changes

In src/main.rs, lines 8–23 on 332c1241a11c88957b9f9ba8e2f8d5a72a4f663d7db0e0b4b9793f8bb88e180b+61e9ad6ddc2d8a7b7ad698809e7ea5167a08b8b1ee1a62a9a999932de2be4fae+abdbc768c6e8d71d15b9dfc5814202478ac40c30789a68fdb9cdf537a60589f6. 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.