We're going to be using the file viewer pages as our search results pages - we should highlight the search terms on them. This can all be in JS.
Thanks for filing this. Due to resource constraints we are closing bugs which we won't realistically be able to fix. If you have a patch that applies to this bug please reopen. For more info see http://micropipes.com/blog/2014/09/24/the-great-add-on-bug-triage/