3 ms·

`grep -r` works pretty well, too.