Elon Musk said the name Grokipedia is a temporary one and when it becomes “good enough”, it will be rebranded as Encyclopedia Galactica.