Can I just say how annoyed I am by Elon Muskrat naming his AI Grok? "Grokking" has been a word that I have used since I read Stranger in a Strange Land (probably about 30 years ago), and I really don't like that it's going to be redefined to mean "Asked Twitter's AI bot".