I find these WYSIWYG editors can generate extremely verbose markup. There’s also the risk that it may apply styles that the PDF generator doesn’t like and we’d have a hard time getting the output in the editor to match the PDF rendering.
I think a markdown editor is the way to go, similar to what’s being used in the forum message composer. It’s simple to understand, flexible and should cover most formatting requirements for text based documents.