Whatever the Heinlein estate has done to explore avenues of legal redress over the usage of the term “grok,” they almost certainly haven’t done enough.
Grokipedia just stopped updating after eight months ... and it took another four for anyone to notice www.lawfaremedia.org/article/grok...