I built a web version with WASM at https://pdfgrep.com a few years ago in case it’s helpful to anyone