Attach (recommended) or Link to PDF file here:

Configuration:
- Web browser and its version: Version 81.0.4044.138 (Official Build) (32-bit)
- Operating system and its version: Windows 10
- PDF.js version: latest
- Is a browser extension: no

Steps to reproduce the problem:

1. Open https://mozilla.github.io/pdf.js/web/viewer.html
2. Open the provided document
3. ctrl + F  and search for 'costs' .
4. Search for 'costs' - match NOT found.
5. Click the 'Download' and open the file in Adobe Reader, and search for costs - match is found.

What is the expected behavior? (add screenshot)
The word 'costs' to be returned by search

What went wrong? (add screenshot)
No results found

Link to a viewer (if hosted on a site other than mozilla.github.io/pdf.js or as Firefox/Chrome extension):  https://mozilla.github.io/pdf.js/web/viewer.html
[2001_IESC_63_5_v6.pdf](https://github.com/mozilla/pdf.js/files/4644486/2001_IESC_63_5_v6.pdf)

b.y1 = width - e.right;
    b.x2 = box.bottom;
    b.y2 = width - e.left;
    b.index = i;
    b.x1New = undefined;
    b.x2New = undefined;
  });
  expandBoundsLTR(height, bounds);
  for (const b of bounds) {
    const i = b.index;
    expanded[i].top = b.x1New;
    expanded[i].bottom = b.x2New;
  }
  return expanded;
}
function expandBoundsLTR(width, bounds) {
  
  bounds.sort(function (a, b) {
    return a.x1 - b.x1 || a.index - b.index;
  });
  
  const fakeBoundary = {
    x1: -Infinity,
    y1: -Infinity,
    x2: 0,
    y2: Infinity,
    index: -1,
    x1New: 0,
    x2New: 0,
  };