../ variant1-utf8-doc.tex 19-May-2024 19:33 1522 variant2-utf8-doc.tex 19-May-2024 19:33 1522 variant3-utf8-doc.tex 19-May-2024 19:33 1524