He is also the author of the CommonMark spec: https://spec.commonmark.org/0.30/, https://commonmark.org
RE goal 7: here is my questioning of that goal and JGM's response, my counter, etc: https://talk.commonmark.org/t/djot-a-light-markup-language-b....