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.

Util,
} from "../shared/util.js";
/**
 * Text layer render parameters.
 *
 * @typedef {Object} TextLayerRenderParameters
 * @property {import("./api").TextContent} [textContent] - Text content to
 *   render (the object is returned by the page's `getTextContent` method).
 * @property {ReadableStream} [textContentStream] - Text content stream to
 *   render (the stream is returned by the page's `streamTextContent` method).
 * @property {HTMLElement} container - HTML element that will contain text runs.
 * @property {import("./display_utils").PageViewport} viewport - The target
 *   viewport to properly layout the text runs.
 * @property {Array<HTMLElement>} [textDivs] - HTML elements that are correspond
 *   to the text items of the textContent input. This is output and shall be
 *   initially be set to empty array.
 * @property {Array<string>} [textContentItemsStr] - Strings that correspond to
 *    the `str` property of the text items of textContent input. This is output
 *   and shall be initially be set to empty array.
 * @property {number} [timeout] - Delay in milliseconds before rendering of the
 *   text runs occurs.
 * @property {boolean} [enhanceTextSelection] - Whether to turn on the text
 *   selection enhancement.
 */
const MAX_TEXT_DIVS_TO_RENDER = 100000;
const DEFAULT_FONT_SIZE = 30;
const DEFAULT_FONT_ASCENT = 0.8;
const ascentCache = new Map();
const AllWhitespaceRegexp = /^\s+$/g;
function getAscent(fontFamily, ctx) {