-%% Translation of GIT committish: 3e25629d9edb04bb4683d56e2657001f61fca14f
+%% Translation of GIT committish: 8ffecf6be17c6ec2ff87cf31873121a8cce29b09
texidoces = "
Se puede insertar códico PostScript directamente dentro de un
bloque @code{\\markup}.