HTML output of license has sections numbered wrong but references to those sections by number

[Zsbán Ambrus]

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";