Re: texinfo.tex for A4 paper

[Karl Berry]

    Could someone verify and commit these changes for the benefit of all users
    of the A4 format?

I don't have any real way to verify them, but if they improve the A4
output for you, that's good enough for me :).

Thanks,
karl