Comment by aerzen

Cool.

I assumed it uses ripgrep (or the underlying walkdir) because that's the established high-performance tool for this. But apparently not.