How do you find your high lights again?
mm.
{Highlight Blue} and such.
see https://wiki.logos.com/Finding_Highlighted_Text for details
