I believe it would be good to change CoreOS to the new resources for it since the original is EOL and is now "Fedora CoreOS" (https://cloud.redhat.com/learn/topics/coreos).
New resource: https://docs.fedoraproject.org/en-US/fedora-coreos/getting-started/