More socketing confusion

[Tal]

However my point was merely that Grok is relatively old (compared to, afaik, Hork). I don't have a copy of the OED though, so this impression could be completely wrong.

Yar - I grok'd what you meant. ;) I remember hearing hork first in relation to the MacKenzie brothers (DeeBye's Avatar for the uninitiated) in the eighties. By comparison Grok is ancient. ;) :)

Suffice it to say that today is my father's 82nd birthday and I've long had (prematurely, ahem) grey hair.

That happens to the best of us. :) Could be worse - your hair could be prematurely leaving your head like some of us. :D

Cheers and Happy Birthday to your Dad!