Pronto, Grokipedia pasará a llamarse "Encyclopedia Galactica"