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