re: #378 Guanxi88

I think he’s still googling “grok”

The general meaning of ‘grok’ is clear in context, but the nuance, and potentially snarky meanings must be explored in more detail.