I haven't received an OTA. Some version was released in December soon after the Galaxy Nexus launch, but it was sufficiently buggy that they pulled the update a

I haven't received an OTA. Some version was released in December soon after the Galaxy Nexus launch, but it was sufficiently buggy that they pulled the update after a few days. Presumably the problems must have been fairly serious, since that was 2 months ago and they still haven't restarted the push. If that counts as an official release, the term has no meaning at all.