B blog.burntsushi.net Ripgrep – A new command line search tool 740 points anp 10 years ago 209 comments