On Mon, Oct 09, 2023 at 10:36:51AM +0200, Štěpán Němec wrote: > > Ah, true, I was thinking that the DESCRIPTION section would be the first > > thing users would read, but I didn't notice the headline. I agree that > > what it says is probably sufficient (though arguably "type and size" is > > slightly inaccurate there; I said "details" in my proposed text but > > maybe that is too vague). > > We could also leave the NAME vague(r) and put an additional sentence at > the beginning of DESCRIPTION: Yup, that is a good suggestion. Do you want to wrap all of this discussion up as a patch? -Peff