3 ms·OP referred to a Heinlein quote in his article. I figured that makes using 'grok' in a comment OK.by lessnonymous 14y agoOP referred to a Heinlein quote in his article. I figured that makes using 'grok' in a comment OK.