Comment by array_key_first

I think it's called grok, grog sounds like a caveman name.

Actually they both sound like caveman names. I understand the confusion.