Is the Moblin spin going to get renamed for F14?
If so we'll need to do another trademark check with the board. Also the
wiki page for the new name should get created. Spins are supposed to
be submitted by next week, so this change should happen soon if it is
going to happen for F14.