PEG is not a formal grammar? PEG being not a subset of context-free grammars? That's all new things to me.
And you actually have seen PEG parsers for Markdown? Like this one: https://github.com/jgm/peg-markdown/, with grammar written explicitly and lexer/parser generated?