<http://schema.org/headline>
"How to manually flash today's Jelly Bean updates to your GSM Galaxy Nexus [updated with 4.0.4 files]"^^<http://www.w3.org/2001/XMLSchema#string>
<http://www.androidcentral.com/how-manually-flash-jelly-bean-update-your-galaxy-nexus>