> From: Gavin Smith <[email protected]> > Date: Sat, 28 Jun 2025 19:54:36 +0100 > > I also don't think it is a huge restriction to have "Index" in the > node name. Non-English Info manuals could have English node names, or > they could have the word "Index" in addition to the translation.
Info files that don't support the index markers have no other way of signaling that a node is an index node.
