update: I moved to Podman (Docker convinced IT apparently that there is no free Docker for Mac anymore....) Anyway, the change is not completely trivial. You c

update: I moved to Podman (Docker convinced IT apparently that there is no free Docker for Mac anymore....) Anyway, the change is not completely trivial. You can create an alias for docker, but some shell scripts refer to docker and an alias doesn't solve that problem