Comment

I summarized the text. That is not complete.  (I don't know of a good way to copy a diagnostic into a comment.)