I still don't feel like Fedora CoreOS is a good name choice for a new OS distinct from what used to be named Fedora Core. Perhaps they could name it after another kind of hat or something.