Grok, etymologie en betekenis