What if OS X 10.9 was called...?

...just 10.9.

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.