What does "to grok a string" mean? It is used across the article and comments, yet is not immediately referenced in Google.