Stefan Monnier writes: >> (diff--font-lock-prettify): Disable prettify in non-git diff. > > Hmmm... why? Because my experience is that `diff--font-lock-prettify' is broken with diff not coming from Git. Eg,