Rich Text Editor, VeryPDFEditor