What if OS X 10.9 was called...?
That would be pretty Jony Ive. Get rid of the cat names altogether, they are unnecessary.
Who needs them anymore anyway?
I think he big story here is that the next version of OS X will drop the big cat names. I guess we'll see.