Your utility of those optimizations might be vary from other peoples'... personally, I would hesitate before calling Gnu grep bloated.
Your utility of those optimizations might be vary from other peoples'... personally, I would hesitate before calling Gnu grep bloated.