../ richtext.pdf 11-May-2024 19:34 409997 richtextman.pdf 11-May-2024 19:34 1806079 richtextman.tex 11-May-2024 19:34 59024