Contributors to 2020-05-11 Diffing and font-lock