GNOME still wastes a LOT of space by making everything BIG (Fedora vs Mint)2yr ⋅ ManlySyrup ⋅ r/gnome