Bientôt, Grokipedia sera renommé en "Encyclopedia Galactica"