> From: Elijah Gabe Pérez <eg642616@gmail.com>
> Date: Sat, 5 Apr 2025 23:33:04 -0600
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
>  > From: Elijah Gabe Pérez <eg642616@gmail.com>
>  > Cc: Gerd Möllmann <gerd.moellmann@gmail.com>,
>  >   77544@debbugs.gnu.org
>  > Date: Sat, 05 Apr 2025 12:13:26 -0600
>  >
>  >  Or an optional feature of whitespace-mode?
>  >
>  > I don't think whitespace-mode is related to this.
>
>  The form-feed ^L character is one of whitespace characters.
>
> Right, but I don't think this should be whitespace-mode exclusive.  IMO this new minor mode can be used as
> alternative to make-separator-line (for example in shortdoc buffers) which looks ugly in both terminal and GUI
> frames.

Sure, but why is it a problem to make this part of whitespace-mode?
It already has a number of optional features, each one of which can
be turned on and off separately.

The advantage is that we don't need to have yet another minor mode,
yet another mode-line lighter, etc.  Also, some people already turn on
whitespace-mode in text modes.