Customize diff-related things
Add some exposition