Failure @5 (⟨1, 5⟩): expected ']'
Final stack:
  (Lean.Doc.Syntax.image
   "!["
   (str "\"abc\"")
   <missing>)
Remaining: "\n123"