../ variant1-utf8-doc.tex 29-Jul-2025 19:33 1522 variant2-utf8-doc.tex 29-Jul-2025 19:33 1522 variant3-utf8-doc.tex 29-Jul-2025 19:33 1524