> Added to the tracker as > https://gitlab.com/lilypond/lilypond/-/issues/6057.
Thanks.
> For the future, maybe this kind of quirks can be reported there
> directly (which would save them from the risk of getting lost under
> the volume of email).
Well, in most cases it's just my own clumsiness, and the problem is
not a problem with LilyPond per se. This time, however, I seem to
have found a real bug :-)
Werner
