On Mon, Oct 12, 2026 at 05:46:18PM +0300, Eli Zaretskii wrote: > What about producing the Index node name in some special way that will > leave a distinct marker in the Info file (and then hiding that marker > when the reader displays the node)?
That probably be good, but do you have something more specific in mind? -- Pat
