Completed the remaining steps in the post from November 22, so that search hits are now correctly highlighted when you go from a search to a document. We're not currently doing any sophisticated stuff when it comes to highlighting index items in documents -- all items are treated as loose search strings with no phrases or pluses -- but I think that's probably the best approach, given that you can never predict whether any given index term is a phrase or an agglomeration of some kind. So I think search functionality is now basically complete.