Thanks for that link. We're looking through that information, but I'm not sure that it's the same problem. The Ctrl-F will work most of the time. The times we've seen it not work have been on larger pages. When we removed the dojo.js from that page, it worked.
When the Ctrl-F doesn't work, the browser locks up and runs at 98-99% of the client's CPU. To me this indicates that it's in some kind of infinite loop, probably in the DOJO javascript.