PDF text search on mobile can be very slow

Repro:

• open a large-ish PDF such as https://resource.fs.com/mall/doc/20230601160040q1ynai.pdf
• search for something you need that exists in the document ("snmp", or "error" for the above example)

Observed:

• oftentimes, the first queries after loading the doc return no results, or takes an incredibly long time to find a first match

Expected:

• it doesn't take 30+ seconds to find a specific string in the document

Orion 1.3.11 (5) (WebKit 8619.1.26.30.7) / iOS 18.0.1

18

Michal great point, I just tested it on Safari and got the same no results / extended delay issue for the first query.

This isn't Orion-specific then, so I suppose this can be closed (or blocked on webkit?).