Right, though some people really do reach for heavy-weight tools on datasets that are way too small to justify their use.

But yeah, even ripgrep should get out-performed by any db/search daemon with a decent index.