GNOME 42 to Introduce a System-wide Dark Style Preference, Thanks to elementary OS