Okay. Linux Mint 15 had a great name. "Nadja". Wow this sounds nice. "Olivia" for Mint 15, I raised my eyebrow.
But now "Petra"? This is... I don't know. My kitchen interior, or the house could be named Petra. But my GNU+Linux version? Argh.
At least there is one hope. The next version must begin with "Q". So, back to exotic names. Or do I miss something? Maybe Quinn?