The documentation in the Getting Started Guide does not mention that the downstream CDK binary uses the ocp-tag flag to change the used OpenShift version, unlike the upstream Minishift binary which uses the openshift-version flag.

These flags also affect the names of persistently stored settings via minishift config set.