@AgathaSorceress@fv.technogothic.net I mean even gnome from 2011 had better support for theming than gnome in 2023.