Locate patterns in PDF documents rendered by PDF.js, using fuzzy search