Drew Adams <drew.adams@oracle.com> writes:

> Much better, yes.  This is the right level at which to describe what
> it does for most programmers, IMO.

I pushed a commit in master (I haven't done anything WRT the texinfo
file).

Nico