Comment by bawolff

Grep is already pretty much instant so what does it matter?