[ElliotH]

...or you could call it 14.04 (and Android 2.3, 4.1 etc etc) if you don't like easy to remember words. Let's face it 'Mavericks' and 'Blue' aren't much better.