When booting from a ISO file, you're asked for the OS. When searching after fedora coreos they are 3 different entries with the same text.