And the .org domain is already #1 in the Google search results for CyanogenMod.
There's also the possibility that the developers had access to the "Google Webmaster Tools" for cyanogenmod.com, even though they didn't own the domain, and so just told Google that the site had moved.