I think we'd talked about hiding the header when there's only one provider registered for a given language.  I think we could do that at the bottom of run() via something like `if (providerList.length === 1) { $problemsPanelTable.find(".inspector-section").hide(); }`