Following the feedback by Benno, enclosed is the final version of the
patch.
Except for a couple subsequent changes?
Karl, is it OK to apply?
Sure, please feel free to hack info as you like. No one else is.
I added you (user gray) to the texinfo project at savannah.
Thanks!
karl
