I've had a bit of a search in this group, but not found any discussion regarding this particular editor. Is there anyone who might have started work on this already? Or is interested in collaborating?
This would be my first serious hacking effort on Drupal, although I am an experienced web software developer and know my way around PHP.
Just thought I'd put a note here to avoid any duplicated effort and to gage interest.