Race between ripgrep and ugrep is entertaining.