-%% Translation of GIT committish: bc4b56a8dee39a1fa3f40ac329ab0754d46fc56f
+%% Translation of GIT committish: 5db593aa3737cf8c60f9c4c4fcbe317c2d832766
texidocit = "
Diversamente dalle pause normali, non esiste un comando predefinito per
cambiare la posizione sul rigo di un simbolo di pausa multipla di qualsiasi