Success! Final stack: "Lean.Doc.Parser.UnorderedListType.dash" Remaining: "- "