CodingGuidelines: spell out how we use grep in our scripts