This will hopefully ease comparisons of future revisions. Currently the PDF diff between 8 and 9 is cluttered to the point of uselessness by citation renumbering.
Looks good to me. It won't be 100% stable, but you'll only see changes in small areas like if we added another 2020 Arm citation that sorted in the middle.
This will hopefully ease comparisons of future revisions. Currently the PDF diff between 8 and 9 is cluttered to the point of uselessness by citation renumbering.