I like your last two options. #2 I'd possibly amend to using an alternative editing framework instead of editor. Scintilla comes to mind for example, but there

I like your last two options. #2 I'd possibly amend to using an alternative editing framework instead of editor. Scintilla comes to mind for example, but there are probably lots of these. An editor-framework community would possibly also be much more interesting for the type of conversation you are capable of starting. Good luck.