texinfo.el is still unable to built menus when there are appendices.
This is very troublesome, since many GNU documents do include fdl.texi
and such, which are precisely @appendixsec.

Just try a simple C-c C-u C-a on the attached file, and see the
result: