In the examples of Red Hat Enterprise Linux CoreOS image layering documentation, all the examples of base images in the FROM clauses are of the form

quay.io/openshift-release-dev/ocp-release@sha256...

This is wrong because only release images use that convention. RHCOS base images, like any other component image, uses the format below:

quay.io/openshift-release-dev/ocp-v4.0-art-dev@sha256:...

The examples should be fixed so that they are congruent.