@jk Yeah I thought it seemed kind of obvious, too. You're probably right.
My only other idea right now was "grok" (I'm assuming Robert A. Henlein's estate wouldn't sue; the word has become public domain). Not as good, I think.