Re: gnulib.pdf formatting issues

[Karl Berry]

    Two suggestions to improve formatting of gnulib.pdf:

I attempted to install both changes.  Thanks.