Add back removed information since the page limit is less strict after all.

paper/diffinator.py

@@ -64,6 +64,12 @@ def generate_git_tex_diff(texfile, bibliography, revision):
             def suppress_small_changes(match):
                 old, _1, new, _2 = match.groups()
 
+                if len(old) < 12 and len(new) < 12:
+                    return new
+
+                if old.count(' ') < 3 and new.count(' ') < 3:
+                    return new
+
                 new_chars = list(new)
                 for char in old:
                     if char not in string.ascii_letters: