I just installed gnome 42.2 on arch linux and was trying trying to get the dark theme to work. I have seen that some of the documentation says this should have come with libadawata/libhandy with Gnome 42. However, neither theming via gnome tweaks nor the settings app works as expected. What is going on here?