. @theo how about “groq with a q” just be groq and “grok” is now “grok with a k”