https://boersengefluester.de/wp-content/uploads/assets/annuals/2019/578560.pdf

Configuration:
- PDF.js version: 2.7.570

Steps to reproduce the problem:
1. Load the linked PDF
2. On the second page, highlight the word "Mitarbeiterinnen" by double-clicking it

What is the expected behavior?
The word should be recognized as a single word and highlighted as such.

What went wrong?
Instead, it's recognized as 3 words: "Mit", "arbei", "terinnen"
![image](https://user-images.githubusercontent.com/5265630/114384414-f8fe2a80-9b8e-11eb-8843-5099425b0fad.png)

This happens for many words in this PDF.

Is there anything that can be changed in how I use pdfjs-dist to make it recognize this as a single word? Just looking at the PDF, I can't tell what would cause this behavior.

this._pdfDocument = pdfDocument;
  }
  get pagesCount() {
    return this._pdfDocument.numPages;
  }
  get page() {
    return this._page;
  }
  set page(value) {
    this._page = value;
  }
}
async function initPdfFindController(filename) {
  const loadingTask = getDocument(
    buildGetDocumentParams(filename || tracemonkeyFileName)
  );
  const pdfDocument = await loadingTask.promise;
  const eventBus = new EventBus();
  const linkService = new MockLinkService();
  linkService.setDocument(pdfDocument);
  const pdfFindController = new PDFFindController({
    linkService,
    eventBus,
  });
  pdfFindController.setDocument(pdfDocument); 
  return { eventBus, pdfFindController };
}
function testSearch({
  eventBus,
  pdfFindController,