Where grep came from [video]