Search for: "2020-05-11 Diffing and font-lock"