Idea: A de-highlighter (delighter?) which de-emphasizes (grays out) some text (for those times you’d end up highlighting almost everything).