Oh I like the look of that! I’m generally very happy with how Gnome looks/works and don’t use extensions that modify the UI, but if someone slapped together on that did this, I might actually use it.