GNOME devs plan a revamp of GNOME Shell's on-screen display indicators to make them more compact and more in keeping with the latest design changes.