Grok has been nerd slang for a while. I bet it's in that ESR list of hacker lingo. And hell if every company in silicon valley gets to name their company after something from Lord of the Rings why can't he pay homage to an author he likes