I agree with those, and I wouldn't reach for dumbdown either.
But maybe more interesting is the tree notation thing that this is meant to be a use case of. So far as I can tell, the tree-notation thing is a declarative DSL for grammars and textual "compilers", like maybe a very simplified ANTLR? Dumbdown is a ~100 line example, so even if it's not useful as a "real" format, it does seem illustrative of the tooling. And that tooling makes me think ... maybe we would have been better off if markdown (and extensions like GH-flavored markdown) had been implemented and shared as declarations in a language-description DSL.