I also played with further with 'online-label' and
'printed-label' as described in the manual, but this did not hel
either.  I'm mostly interested in the info output, but for files
distributed with Emacs it should look good in all output formats.


Any ideas, what to do in order to fix this issue?



Ciao; Gregor