[help-texinfo] Some pages in bold font in pdf - Bug ?

[Nicolas]

Hello,

I continue to work on my cinelerra.texi manual. For the moment, the
result is quite nice. Unfortunately, I noticed some pages are in bold
font in the pdf.

Here is an archive containing the pictures, pdf and texinfo file:
http://www.europephoto.com/info/cinelerra/200610/pb_bold.tgz

Page 12 for example, is in bold. Well, I don't know if it's bold, but
the characters are... how could I say... more visible. I noticed that in
Acrobat Reader both on Linux and Windows.

Is that a bug?

Thank you.

Nicolas.