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.

);
      const pdfDoc = await loadingTask.promise;
      const docActions = await pdfDoc.getJSActions();
      const page1 = await pdfDoc.getPage(1);
      const page1Actions = await page1.getJSActions();
      const page3 = await pdfDoc.getPage(3);
      const page3Actions = await page3.getJSActions();
      expect(docActions).toEqual({
        DidPrint: [`this.getField("Text2").value = "DidPrint";`],
        DidSave: [`this.getField("Text2").value = "DidSave";`],
        WillClose: [`this.getField("Text1").value = "WillClose";`],
        WillPrint: [`this.getField("Text1").value = "WillPrint";`],
        WillSave: [`this.getField("Text1").value = "WillSave";`],
      });
      expect(page1Actions).toEqual({
        PageOpen: [`this.getField("Text1").value = "PageOpen 1";`],
        PageClose: [`this.getField("Text2").value = "PageClose 1";`],
      });
      expect(page3Actions).toEqual({
        PageOpen: [`this.getField("Text5").value = "PageOpen 3";`],
        PageClose: [`this.getField("Text6").value = "PageClose 3";`],
      });
      await loadingTask.destroy();
    });
    it("gets non-existent outline", async function () {
      const loadingTask = getDocument(
        buildGetDocumentParams("tracemonkey.pdf")
      );
      const pdfDoc = await loadingTask.promise;
      const outline = await pdfDoc.getOutline();