I wonder if, as part of that name change, they'll apply for the new top level domain (TLD .cern) as well https://icannwiki.org/.cern