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