4 ms·grep is great. My point isn’t that we shouldn’t use it. My point is that we shouldn’t be held back by it.by hnlmorg 1y agogrep is great. My point isn’t that we shouldn’t use it. My point is that we shouldn’t be held back by it.