With lengthy documentation it may be difficult for an user to see the information they searched for after going to a result document. It would be good to highlight the search terms for the active search in the document, similar to Google's cached search results or the various search engine toolbars.