Comment by mdrachuk

Everyone is a creature of habit. So new tools should be tenfold better to kick the habit. Is ripgrep so good? Doubt it, although it’s definitely better.