Just to clarify, the "official" Jellybean ROM is for the HSPA+ variant of the Galaxy Nexus. The various third-party ROMs have customized it for the CDMA/LTE variant of the phone, which is what I have. I don't really care about having lots of goofy skins or whatnot, but I do want the various bug-fixes. (Apparently there are some issues with the stock Jellybean on the CDMA/LTE phone: WiFi signal strength, deep sleep problems, etc. The third-party ROMs claim to fix all this.)