Yes. If that disk space is more important to you than correctness, performance and better Unicode support, then yeah, you should definitely keep using the silve

Yes. If that disk space is more important to you than correctness, performance and better Unicode support, then yeah, you should definitely keep using the silver searcher. I gave more details in a response on that issue: https://github.com/BurntSushi/ripgrep/issues/1481#issuecomment-583844339 https://github.com/BurntSushi/ripgrep/issues/1481#issuecomme...