title: Getting coordinates of specific text in pdf.js
body: <p>I need to load a PDF in a webpage, and overlay a div wherever a certain text appears. However, I am unable to find the API that will let me determine the coordinates of a certain string within the PDF. Is there a function that allows us to do that? I see a similar <code>getAnnotations()</code> method in PDF.js, but none that would allow us to do a text search.</p>