f67418c682
We now have a dedicated "high-contrast" setting that we can use instead of a "magic" theme name. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2069>