TextDocument: distinct highlighted vs. missed private messages
Revise alerts and highlights