Fedora 17 is codenamed a Beefy Miracle. Yes, that's really the codename. The "Beefy Miracle" name was originally proposed for Fedora 16, but the "Verne" codename beat it out for that cycle. A faction of Fedora users even created BeefyMiracle.org to campaign for this codename. It's now finally happening with Fedora 17.
Jared Smith announced the results on the Fedora mailing list. There were 1182 votes for Beefy Miracle, 1035 votes for Liege, 881 for Never, and 791 for Gernsback.
Linux users seem to be quite carniverous. Ubuntu codenames are about animals while Red Hat now has a beefy miracle with Fedora 17 and previously they really liked Bacon.