I had a detailed comment here, but then I realised I seldom use the word “grok” anyway so I don’t have much cause to be nitpicking other people’s substitutions. :-P
I had a detailed comment here, but then I realised I seldom use the word “grok” anyway so I don’t have much cause to be nitpicking other people’s substitutions. :-P