===> Cleaning for ripgrep-13.0.0