Well, the mystery is now over. Brief Mobile just posted up a massive gallery of the Samsung Nexus 10, along with screenshots from the software its running, which as expected, is Android 4.2. It's definitely the device that we saw posted up in a user manual...