I do know that meaning of "grok", but I always assumed the more specific one in the context of neural networks was what informed these two naming choices, although I really don't know the exact timeline.

Didn't know about Heinlein coining it though, that's cool!

Unrelated, but you just reminded me of an old blog: Groklaw. I can't believe it's been over 10 years since it was active