For software engineers, diffs are a ubiquitous method for representing changes: We use diffs to compare different versions of the same file (e.g., during code review or when trying to understand the history of a file), to visualize the difference of a failing test compared with its expectation, or to apply changes to source files automatically. Every project I worked on professionally or privately eventually needed a diff to visualize a change or to apply a patch. However, I have never been sati...