Hi all,

Lean CLI 1.0.196 reports:

Error: Please make sure Docker is installed and running