CriticMarkup seems to emit more correct HTML, but is more demanding (e.g. it recommends against embedded newlines). It doesn't emit TeX. It does have more (i.e. any) editor syntax files.
I mildly prefer having the marks outside the brackets: ++[foo]++ seems easier to read than {++foo++} because the "wrapping" is outside the "box".
I'm wondering how it compares to https://github.com/CriticMarkup/CriticMarkup-toolkit
I haven't tried using either yet; does anyone here have any opinions about features/ergonomics/tooling?