Failure @19 (⟨1, 19⟩): expected link target '(url)' or '[ref]' (use '\[' for a literal '[') Final stack: (Lean.Doc.Syntax.image "![" (str "\"alt text is good\"") "]" (Lean.Doc.Syntax.url )) Remaining: "](logo.png)"