Current situation:

Done:

• Published https://crc.dev/docs/
• Unpublished https://docs.redhat.com/documentation/en-us/red_hat_openshift_local
• Fixed links in https://developers.redhat.com/products/openshift-local/overview 

In progress:

• Explain that OpenShift Local is a distribution of CRC with a fully functional OpenShift single-node cluster in the CRC community docs: https://github.com/crc-org/docs/pull/17 https://github.com/crc-org/docs/pull/18

Todo:

• https://issues.redhat.com/projects/DAT/issues/DAT-8847 Add redirections to community docs for removed docs, to avoid 404: https://access.redhat.com/documentation/en-us/red_hat_openshift_local  and all sub pages should redirect to https://crc.dev/docs/
• Change links to the new docs in https://console.redhat.com/openshift/create/local. The "View the OpenShift Local Getting started guide" link should point to https://crc.dev/docs/installing/
• Explain in product pages that OpenShift Local is a distribution of CRC  with a fully functional single node OCP.
• Better explanation https://console.redhat.com/openshift/downloads#tool-crc.