Revert "Switch off the default diagnostic provider"

This reverts commit 9d8f13a09d6011510151cd53960c65390a95fc2b.