This turns out to be a bit annoying in the end. In particular, you can
end up with diagnostics being displayed immediately, only for them to be
replaced by new diagnostics moments later. The result is "flickering" of
underlines, signs, and whatever else may display diagnostics info.