Apparently Apple is now switching randomly from feline names to beaches. I assume they ran out of cat subspecies.
I'm going to point out that there are still a LOT of felidae names to choose from:
Geoffrey's Wild Cat
Norwegian Forest Cat
And many others.
NOT only that, but 10.3 was "Panther." Which is a genus. Not a species (okay, so was Smilodon, and they're extinct. But they were COOL).
And 10.1 (Puma) and 10.8 (Mountain Lion) are the same damn animal (Mountain Lion, Cougar, Puma, are all the same creature). For the record, this particular animal has more known names than any other, with at least 40. "I'll take felidae trivia for $200, Alex."
All right. Enough procrastinating. I'm going to go see what Frank spent the day building on Minecraft.