Added missing @node for several sections in the texinfo.
authorplugd <plugd@thelambdalab.xyz>
Fri, 31 Mar 2023 07:49:24 +0000 (09:49 +0200)
committerplugd <plugd@thelambdalab.xyz>
Fri, 31 Mar 2023 07:49:24 +0000 (09:49 +0200)

No differences found