Failure @2 (⟨2, 0⟩): expected block opener (at line start: '#', '>', ':', '*', '-', '+', '1.', '```', '%%%', '{..}') or paragraph indented at least 1
Final stack:
  [(Lean.Doc.Syntax.ul
    "ul{"
    [(Lean.Doc.Syntax.li
      "*"
      [(Lean.Doc.Syntax.para <missing>)
       <missing>])])]
Remaining: "abc"