Grok borde lägga till Grokipedia i sina agentiska verktyg så snart som möjligt.