4 ms·

Did not know that. Thank you.

• unwind 11y ago
  What did you think regular grep did, then?