We’re all in agreement that Grok is only called that because Musk got Robert Heinlein and Douglas Adams mixed up, right? He’s spoken at length about how he modelled it after Hitchhiker’s Guide, it would have made infinitely more sense to call it Marvin.