please find bug.texi and bug.pdf (among other files), the latter missing
the right-side footer on page 3.I'll look at it later, though I'm not sure it will be fixable. I thought there was a warning in the manual about @thissection not being reliable, but I don't see it now :(. Anyway, thanks for the report. k
