Brodie Robertson on Nostr: No it's a suggestion to deal with the problem from the GNOME side not a judgement on ...

No it's a suggestion to deal with the problem from the GNOME side not a judgement on the difficulty. Theming isn't going to go away in the rest of ecosystem and as long as there is some mechanism available other desktops and distros will use them.