LintDiagnostic adds `messageHtml` (rendered into the hover tooltip) and `markClass` (added to the inline range mark)