../ richtext.pdf 23-Apr-2024 19:46 409997 richtextman.pdf 23-Apr-2024 19:46 1806079 richtextman.tex 23-Apr-2024 19:46 59024