On Fri, May 16, 2025 at 07:45:23PM +, keenban--- via Bug reports for the
GNU Texinfo documentation system wrote:
> Hello GNU texinfo team.
> This is my first bug report, so hopefully I am sending to the correct
> location and with the correct information.
> In the Node: "Top," there are menu
Hello GNU texinfo team.
This is my first bug report, so hopefully I am sending to the correct location
and with the correct information.
In the Node: "Top," there are menu sections "GNU Libraries," and "GNU
libraries." These sections are distinct, but only differ in the capitalization
of "Librar
