> Date: Sun, 23 Apr 2017 22:59:49 +0100 > From: Richard Wordingham <[email protected]> > Cc: Eli Zaretskii <[email protected]> > > If I search for CGJ, highlighting it is frequently supremely useless. > I want to know where it is; highlighting is merely a tool to find it on > the screen.
So I guess this means highlighting is useful after all ;-)
