Dear Texinfo maintainers. The online HTML formatted copy of the Texinfo manual has a copy of the GNU Free Documentation License at "http://www.gnu.org/software/texinfo/manual/texinfo/html_node/GNU-Free-Documentation-License.html#GNU-Free-Documentation-License";. In this copy of the license, the section numbers show up wrong: what is called section 3 in the license is displayed as section 4. This is a problem, because the text of the license itself refers to "section 3", so now that reference points to the wrong place, so now it looks as if you were distributing the manual under an invalid license.
It seems that this is a regression bug in Texinfo itself: the license shows up correctly in the other versions of the Texinfo manual, only texinfo now converts the list to HTML wrong. Sadly I don't know what version of texinfo you used to create that online copy or how it was invoked. I originally discovered this bug when it affected the manual of GNU Libc, see "https://sourceware.org/bugzilla/show_bug.cgi?id=21383";
