History of short_id 1 change

In src/main.rs, lines 136–138 on adec9a0796b863e2dc79a20917011fd4e5bd733068b0bfe54bf7a441a2fe526b. 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 136,138:src/main.rs.