On Tue, Sep 28 2021, Eli Zaretskii wrote:

> Why are you using the man page instead of the Info manual?

A habit...


> The former is just a lip service, and doesn't pretend to be complete
> in any way.

Sorry, I didn't know that. From now on, I'll use the Info manual.

-- 
           Peter