Generally seems like a good idea for #gnome to #cleanup their #design #ui https://blogs.gnome.org/alexm/2021/09/10..