Options for diagnostic.
diagnostic
Optional
Comment each item with its tag name and summary (off by default).
Names for tags; the global context by default.
Options for
diagnostic.