[help-texinfo] Footnote label in text is not small in PDF output

[Mohammad Akhlaghi]

Dear Texinfo maintainers,

The manual of GNU Astronomy Utilities (Gnuastro) is in Texinfo and I am 
very grateful for this wonderful tool, it is instrumental to Gnuastro 
(the manual plays a major part in Gnuastro).

Today, I noticed that the footnote labels (numbers) in the body of the 
PDF text don't have a smaller font size. They are elevated, but not in a 
smaller font. You can see the PDF manual of the most recent version 
here, page 3 has the first footnote):

http://akhlaghi.org/gnuastro.pdf

It wasn't like this in the previous release of Gnuastro, here is its PDF 
output I built in September for the 0.4 release:

https://www.gnu.org/software/gnuastro/manual/gnuastro.pdf

This is the Makefile that manages the texinfo source:

http://git.savannah.gnu.org/cgit/gnuastro.git/tree/doc/Makefile.am

Gnuastro imports many source files (including `texinfo.tex') from Gnulib 
and I keep it up to date. You can see the tarball (that contains this 
file, Gnulib's files are not version controlled in Gnuastro) here:

http://akhlaghi.org/gnuastro-latest.tar.lz

On my system, the installed Texinfo is version 6.5.

I wanted to consult you on why this is happening? Is there a problem in 
the way Texinfo is managed in Gnuastro, or is this a bug in Texinfo?

Thank you very much,
Mohammad