Does these performance comparison take into account the things BurntSushi (ripgrep author) pointed out in the ripgrep issue link elsewhere ITT? https://github.com/BurntSushi/ripgrep/discussions/2597
Either way, ripgrep is awesome and I’m staying with it.
Agreed - ripgrep is great, and I'm not planning to switch either. The performance improvement is tiny, anyways.