1We use a quite old texinfo.tex version.
2The version 2003-02-03 on SuSE 9.0 produces mouse-click sensitive page numbers
3in the table of contents, but unfortunately it also produces wrong page numbers
4(one too low) for sections that happen to start on the top of a page.
5
6