Oh you're right, well in that case I'd like to complain about turning the big PDF into a linked web document and not giving it an obvious whole-HIG search box. Worse experience than cmd-F 20 years ago.