Re: Page number offset in the texinfo.pdf file

[Karl Berry]

    but it doesn't contain a link to "Contents"

It seemed rather unnecessary to me, since it's typically just a couple
of pages from the beginning.

I suppose it could be added, but there's a lot of other things I'm more
interested in working on.

Best,
Karl