> In certain circumstances LilyPond will create a very short tie, so > short it looks like a dot. [...] > > This happens in LilyPond 2.25.24 too. Is it worth creating an issue?
If you search the issue tracker with the keywords 'tie' and 'length', you'll find issue #14, the second most infamous bug of LilyPond... https://gitlab.com/lilypond/lilypond/-/issues/14 Werner