bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers

[Eli Zaretskii]

> From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
> Cc: Juri Linkov <juri@linkov.net>,  51016@debbugs.gnu.org,  larsi@gnus.org,
>   orontee@gmail.com
> Date: Thu, 16 Dec 2021 22:02:05 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> The proposed change is to improve NEWS and similar files to make
> >> their views more compact by fitting more lines on the screen.
> >
> > What does this have to do with removing support for ^L?
> 
> See this screenshot from one of Juri's previous messages:
> (<86lf0l23u1.fsf@mail.linkov.net>)
> 
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=51016;msg=81;att=1;filename=outline_NEWS.png
> 
> On the left is NEWS with the default value of outline-regexp, on the
> right with ^L taken out.  FWIW I agree that the latter is easier on the
> eyes.

And I disagree.  The ^L separators are there for a reason, and even in
the image they do their job.