Is there something Lean can do but Lean CLI can't?