3 ms·see ripgrep mentioned elsewhere in comments.by djmips 8y agosee ripgrep mentioned elsewhere in comments.