make ForwardSearch/HighlightPermanent actually work and correct the default value for ForwardSearch/HighlightColor