I asked grok a while back to analyze all available information. Hal himself or group with Hal. 🤷🏼‍♂️