So your 1. is no longer markdown everyone knows, but an ad hoc, badly documented new language understandable by a tiny subset of editors/people. How is that bet

So your 1. is no longer markdown everyone knows, but an ad hoc, badly documented new language understandable by a tiny subset of editors/people. How is that better? 2: it is fundamentally a command line app that converts a .tex file to a pdf (and some other output formats). You can just git over that if you prefer it. The web editor is a separate application, which is very streamlined and a good option for students working together, but sure, feel free to use something else.