capitalization inconsistency in top of info tree.

[keenban--- via Bug reports for the GNU Texinfo documentation system]

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 "Libraries." I believe they should be combined into a single section.
Thank you for your time,
Keenan.