Re: will search highlighting fix be released?