On Tue, Feb 3, 2009 at 3:03 PM, Jeroen Maris <jamaris at gmail.com> wrote: > How is a decision about the name going to be made? Is it a good idea to add > the suggested names to a poll and start voting after a few days of > suggesting names? This is why I'm not fond of codenames.