<http://schema.org/headline>
"Android 4.2 update for Nexus 4 and Nexus 10 adds lock screen widgets and multi-user support (benchmarks)"^^<http://www.w3.org/2001/XMLSchema#string>
<http://www.engadget.com/2012/11/12/nexus-4-and-nexus-10-android-4-2-final-update-adds-lock-screen-w/>