gtk_css_provider_get_default, still relevant?
I am looking at gtk_css_provider_get_default function documentation:
Returns the provider containing the style settings used as a fallback for all widgets.
This function seems unused in both GTK3 and GTK4. Looking at history it is unused since cdc6e827 commit. Only difference is that in GTK3 this function is mentioned in gtk_widget_get_default_style.
Is there any other difference between gtk_css_provider_get_default and gtk_css_provider_new that I am missing? Or documentation is obsolete?