Success! Final stack: (Lean.Doc.Syntax.image "![" (str "\"\"") "]" (Lean.Doc.Syntax.url "(" (str "\"logo.png\"") ")")) All input consumed.