Minor patch for the Texinfo manual

[Simon Josefsson]

lfinsto at gwdg.de writes:

>> What's the
>> status of it?  If this is in process, I'll add you to the project on
>> savannah if you send me your savannah username -- but please don't
>> commit anything on any existing branch until the paperwork has been
>> completed.
>
> My Savannah user name is lfinsto1.  I won't commit anything on an existing
> branch until you say it's okay and the paperwork is done.

Added, welcome on board!

/Simon