I didn't expect ripgrep to be beaten so soon. Now the question is, do I uninstall it or keep it around hoping for them to leapfrog each other by taking the opti

I didn't expect ripgrep to be beaten so soon. Now the question is, do I uninstall it or keep it around hoping for them to leapfrog each other by taking the optimizations to ridiculous levels?