After that, it’s a simple matter of doing Cmd-F in macOS - Finder searches over PDF text :)