Hi Paul,

> Date: 2026-08-01 18:29:13-0500
> From: Paul Eggert <eggert@cs.ucla.edu>
>
> On 8/1/26 17:10, Alejandro Colomar wrote:
> > #include's aren't that important.
> 
> But this whole thread is about #includes, no?
> 
> I would focus energy on areas of the manual where effort provides the most
> bang for the buck. As your remark suggests, this particular area is low
> priority.

I wouldn't call it low priority or low bang for the buck.  What I mean
is that it's not a breaking change.

I believe education is important, and provides bang for the buck.  It's
not all about features.  The features are already there, but misused.


Have a lovely night!
Alex

> Also, given what I've seen in the thread so far, the proposed
> change could even yield a negative return overall.

-- 
<https://www.alejandro-colomar.es>