Yeah, the term Grok has been used by nerds for a long time, kind of a signal to other nerds. At some point, Elon Musk started using it too. So now, it’s basically been co-opted by the right wing. But Pim’s xeet kind of suggests they’re turning away from it?