tool for grepping in bookmark files