This new version replaces PDF.js's top-level text extraction logic
with a manual override, in order to try to avoid concatenated words.

Fixes #940.