On Tue, Nov 01, 2022 at 01:26:49AM +0100, Bruno Haible wrote: > With this, most of the confusion should be gone. Thanks!!
I tried to be clearer in the following commit (which may need to be revised): https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=dd02e93ab701f7d7c9d2dcb9783241af9307afa5 -- Pat
