When and if we want it, here's a polished distro patch for gnome-shell. Assuming the size issue is also fixed in plymouth via comment #7 or similar.
When and if we want it, here's a polished distro patch for gnome-shell. Assuming the size issue is also fixed in plymouth via comment #7 or similar.