On Mon, Nov 21, 2022 at 04:35:29PM -0800, David Bacon wrote: > I am already working with a patched texinfo.tex, so I would be happy to be > a guinea pig (and likely early adopter) for your proposed table-of-contents > feature if you want one.
Could you try texinfo.tex version 2022-12-03.17? (git commit 2d8e59e40ec5) It should be implemented now, so you can click on the entry text in the table of contents as well as the page numbers.
