@dmoonfire @rl_dane is ripgrep actually faster or just better defaults for interactive use?