Diff tool: Allow toggling beautify instead of just setting it