Bon bah, je vais en parler à Tyler de l'histoire des noms, on peut peut-être trouver une solution qui satisfait tout le monde. Parce que c'est clair que s'il y a 2 projets qui revendiquent le même nom, ça va être le bordel (cf. RPM avec rpm.org et rpm5.org).