The leak also suggests that Jelly Bean is due very soon, and we might see the launch as early as next week's Google I/O developer event.
Previously rumoured to be Android 5.0, Jelly Bean is now expected to be a minor update. It is likely to improve on some of existing features and bring user interface changes to the operating system.
As stated on the screenshot and historically, Galaxy Nexus is expected to be the first device to get the next version of Android.
The slip was caught by Google very soon and the page has since been updated to remove any mention of Jelly Bean or Android 4.1.
A history of Android version numbers
For the latest tech news and reviews, follow Gadgets 360 on X, Facebook, WhatsApp, Threads and Google News. For the latest videos on gadgets and tech, subscribe to our YouTube channel. If you want to know everything about top influencers, follow our in-house Who'sThat360 on Instagram and YouTube.