On Wed, 2014-08-06 at 13:11 +0200, Thomas Neumann wrote: > P.S.: @Andrew: Do you know where 'grok' is coming from? it's from mars :) brought to earth by valentine michael smith in heinlein's "stranger in a strange land" -- andrew bezella <abezella at archive.org> Internet Archive