I knew. I read Stranger millennia ago, and so on.
But just cuz something exists and has an accepted common usage doesn't mean I have to like it or that I can't snark about it. Grok has a decidedly neckbeardish/D&D, Wow, empty 2-liters and accumulated delivery food waste connotation for me -- and its coinage by Heinlein certainly doesn't do anything to wash the word clean of that taste.
Hey. Some people love cilantro, some people can't fucking stand it. Just don't mistake my aversion for ignorance.