3 ms·ugrep agrees with you [1]. [1]: https://ugrep.com/ https://ugrep.com/by alwillis 7mo agougrep agrees with you [1]. [1]: https://ugrep.com/ https://ugrep.com/