They did say it's still up to them to decide.
I know but it's kinda shitty that they can say "Oh public vote! (but any names we don't like won't happen)"...
Besides, this is pretty much tax payer funded, so it should be up to the tax payers to decide the name.
