TextDocument: already seen messages must still be highlighted...