Comment by windowshopping

Is groq related to Twitter's grok or is that just a very unfortunate naming coincidence?