Fedora CoreOS survey