Am Mon, 26 Apr 2021 09:45:36 +0200 schrieb Bastien <b...@gnu.org>: > > I think that this would be a good addition to the manual, and help > > clarify the behaviour --- so I've prepared a little patch to the > > manual. > > Thanks for the patch. I think it better belongs to a worg page, as we > try to avoid overloading the quite-already-big manual. Can you make > this a contribution to Worg?
I really would like to have as much as possible in the manual. My guess is, nobody prints it anymore, so the old concers about thick manuals are irrelevant today. If I must start looking through worg to find some information, my chance of finding it has already halfed. :-) Just my 2c Detlef
