came across something “better than grep”: “ack” Its home page. Gábor Szabó used it, when he showed me Padre.