That isn't a diagnostic.
.
Hah, just got why you posted it under diagnostics. Clever
I have wanted larger font diagnostics for years. I give this post a recommendation.