Ripgrep is faster than {grep, ag, Git grep, ucg, pt, sift}