Yes but Djot is pretty good though! Wouldn’t call it informal nor bug-ridden, it’s well thought out and doesn’t have many corner cases:

https://djot.net/

Designed by one of the authors of CommonMark, an attempt to specify a standardized flavor of Markdown.

Djot insists that this nesting of bullet points is wrong:

    - first
      - second

Instead you need this:

    - first
      
      - second

I’m very picky about the aesthetics of lightweight MLs so this is tough to swallow.

EDIT: By the way, recent comment from the primary developer: https://github.com/jgm/djot/discussions/310#discussioncommen...

Not having used djot myself, does “rethink tight/loose lists” refer to that?

I just wish it would move along already. I get it, some tough calls need to be made on edge cases that do not have a correct answer. Yet I want a 1.0 release so I can feel confident that the language will have staying power.

Then again, it is already in pandoc, so I suppose you can trivially move out of it.

Indeed; Github will now render TeX in markdown documents, eg when displayed as a repo's readme. Very convenient.