Bald wird Grokipedia in "Encyclopedia Galactica" umbenannt.