Try it now — load your own PDF or use the sample: ...
Userscripts are no longer in vogue, but they're well worth using on your Android phone. Here's how I do it through Violentmonkey.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback