-%% Translation of GIT committish: 0859431a3b2a6c36b2fee643563c6fd914fe9884
+%% Translation of GIT committish: 3c907f2dd5ba3dd91e30454922d8361225ca28d5
texidocit = "
I testi a margine devono avere la proprietà @code{outside-staff-priority}
impostata su false per poter apparire dentro le legature di portamento.