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