Re: gplv3 files and updates

[Karl Berry]

    is necessary to s/unnumbered/appendixsec/ if including the GPLv3 in an

Yeah, the discrepancy between the FDL and the GPL seems like a bug.
I'll ask about that change.

    or if texinfo could support some other subsectioning keyword that
    works regardless of whether the parent is a main body section or an
    appendix).

It does, and has for many years.  @section/@subsection/etc. work in any
kind of chapter-level unit.  (There is also @raisesections and
@lowersections for when an included file is at the "wrong level".)

I'll suggest using @section in gpl-3.0.texi.  Ditto lgpl-3.0.texi (still
not in existence).

    Also, gpl-2.0.texi adds a @cindex entry, but gpl-3.0.texi lacks it.  That
    means the manual's index is one entry shorter by upgrading to the new
    license; I'm wondering if that was intentional.

I don't know if it's intentional, but the lack of an index entry seems
like a good thing to me, so I don't plan to ask about it :).  Any
desired index entries are better added in the including document, seems
to me.

Best,
Karl