Sorry, I should have mentioned that that is already unchecked, but the highlighting still happens. It may be, though, that the highlighting persists only for a short time. I noticed this morning that of the three apps that had caused the unwanted highlighting, only two do so now, and I think...