So I’m just finishing work and pondering the future of GNOME and the whole theme discussion, and the  conflicts with users/distros.  I know this discussion has been had but I’d like to see what this community feels about adding 2020 common visual personalization features into GNOME.  Goals of personalization features if added:  Understand what is reasonably expected in 2020 in desktop personalization Deliver visual personalization that encourages adoption of new users Decrease the desire for use...