Fixed the search feature in the Formatted view: clearing or retyping a query
previously left stale highlights behind, causing scattered highlighted
characters and false "No matches" results. Search now works reliably in both
views.