Grok Bot fixes for improved token efficiency and smarter behavior are underway