That OTA is for the GSM model of the Galaxy Nexus, which is for T-Mobile, AT&T, (and most of the non-US countries) and gets its updates directly from Google. The post above is talking about the Verizon model, which does not get updates directly from Google (because you didn't buy it directly from Google), and is instead forced to wait for updates from Verizon. The only other option is to unlock the bootloader and install a community ROM.
4.0.1 is multiple versions behind even the 4.0 branch though. 4.0.4 is already available in the Galaxy Nexus models that run the Google-maintained version.
http://thedroidguy.com/2012/07/google-releases-jelly-bean-ot...