If you were disappointed with the lack of real advancements in Android 4.3 Jelly Bean, don't worry - Android 5.0 Key Lime Pie is likely closer than you think.
When we say spotted, we don't mean physically, unfortunately. Rather, the new OS was identified through code.
The source of this leaked information was a user of Chromium - Google Chrome's open-source cousin - who was recently running tests in the bug tracker feature. It seems this tech-savvy user was tinkering with a Nexus 4 and a Nexus 7.
So far so ordinary, but the version of Android these devices were using was anything but. This Android build was designated KRS36B. Don't worry about the last five numbers - the point of interest here is that first 'K.'
Current Android buils are designated with a 'J,' in keeping with Android's alphabetically labelled designations. Of course, these then get turned into tasty, easy-to-remember desserts such as Gingerbread, Ice-cream Sandwich and, in the case of 'J,' Jelly Bean.
So, the presence of 'K' would heavily point to the next version of the Android OS - which everyone seems to be calling Key Lime Pie (though it hasn't actually been officially dubbed as such yet).
That's about it for specifics right now, but we wouldn't mind betting that we'll be seeing the Google Nexus 5 turning up on cue some time in October or November with a shiny new version of Android 5.0 Key Lime Pie on board.
Next, read our pick of the best mobile phones of 2013.