Hide max synth pending failures in diagnostics

Stream: lean4

[Daniel Weber]

I'm trying to use set_option diagnostics true in #mathlib4 > Locating defeq abuse to give a linter information about what's unfolded during defeq testing. This means I don't care about the diagnostics messages themselves, so I want to hide them. Setting diagnostics.threshold to a really large number hides most of them, but the [type_class] max synth pending failures (maxSynthPendingDepth: 1), use 'set_option maxSynthPendingDepth <limit>' remain.
Is there a way to get rid of these messages? maxSynthPendingDepth affects not just the message from what I understand, so isn't what I want