Mention optimizations in grep/first and friends