Can we manually force linting even if the document hasn't changed?

Ah yeah it does. I misunderstood and just tried the reconfiguration without forceLinting. Needing a compartment for this still feels a bit awkward. I think a lintNow effect that could be recognized in the ViewPlugin.update would be simpler. Anyway thanks, for the quick answer! If you’d prefer to leave this as is, I can clarify the documentation.