There were two things I didn't like about my Android.
- Since it is a Galaxy Nexus bought via Bell it didn't get updated by Google but by Bell. In other words there is already 4.0.4 but I still had 4.0.1
- I didn't have it rooted yet.
Took care of both things today. First I followed these instructions to get the official Google Android:
Only bad thing is that I had to reinstall all my apps. I did a backup of my data first but I probably forgot something.
But so far I am a happy camper ...