History of short_id 1 change

In src/main.rs, lines 71–73 on f9c98deef32627274454b5fd0ee5d2b47a8c9c91dbdad9b717e9b9be7bf3d4b0. 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 71,73:src/main.rs.