Hi, Just to let you know that actual ripgrep build failed because ripgrep.info points to DOWNLOAD="https://github.com/BurntSushi/ripgrep/archive/15.2.0/ripgrep-15.1.0.tar.gz \ instead of 15.2.0. Andrew (the maintainer) is in CC. Cheers, -fredg