Additional severity level for linting and custom class names?

The @codemirror/lint extension is neat. I wonder if allowing an extra severity level (I am thinking about hint which is defined in LSP but not allowed Diagnostic.severity) and custom class names (in LSP there is DiagnosticTag which for example allows marking a bit of code as unused and hence greyed out) would be in scope?

Do these patches help?

1 Like

That’s amazing, thank you so much!