>> The bug:
>> The `_` character in the section title is displayed as a dot
>> accent in the PDF output of the anchor reference.
>
> [...] You have an odd case where you are using an underscore in
> Roman type, which is why I expect this bug has not come up until
> now. (@subsection @code{Foo_Bar} would be more usual.)
Oh, it's not a use-case at all! It's an example that I constructed
for the `@anchor` issue, trying to make it as simple as possible. It
was luck to hit a second bug :-)
Werner
