I had a look HedgeDoc (first time I heard of it), it’s very nicely done. I think you are right that if you have a good text editor, no need to experiment too m

I had a look HedgeDoc (first time I heard of it), it’s very nicely done. I think you are right that if you have a good text editor, no need to experiment too much with a web based one. And the market for people who need to typeset math on “guest” computers where access to a web based app is valuable would be very small. The use case for my editor was people who want to publish math online (via MathJax) and want an easy tool for it. A side benefit was that it is somewhat useful for general mathematical typesetting. If I had to write a desktop text editor for math, I would take a different route and it would be much more powerful. But there are already many good software for that. TinyMCE is quite flexible, and doesn’t require any installations (it’s plugins are just more JavaScript). I created custom keyboard shortcuts for mathematical symbols, one would put in a bit of JavaScript to add VIM like editing - probably take a weekend of hacking. Didn’t see any plugins for modal editing - definitely something somebody should do! Overall I found TinyMCE a highly polished and stable foundation for online editing and it was a pleasure to work with.