Heisenbug. Voilà pour son petit nom. Comme il contient le mot bug, les trolls seront faciles, c'est toujours ça de pris. De toute façon, ça colle avec sa définition qui correspond à un type de bugs bien particuliers, ceux qui disparaissent quand on commencent à vouloir les éradiquer... pas si rares que ça...

Le résultat complet du vote, avec les autres propositions:

1549 :: Heisenbug
1291 :: Eigenstate
961 :: Félicette
879 :: Superego
826 :: herry Ice Cream
808 :: C hateaubriand
750 :: Santa Claus
653 :: Österreich
  1 :: 20

Au moins ça enterre complètement l'idée de ne plus donner de nom (1 vote pour le nom 20...). La Fedora 20 est pour l'instant prévue pour le 26 novembre 2013.