nobody on Nostr: Nope but looking into what ripgrep is now!Nope but looking into what ripgrep is now!