And this is a great example of why Gnome is such a PITA: to change anything like that, you have to go download and install some extension, which of course will

And this is a great example of why Gnome is such a PITA: to change anything like that, you have to go download and install some extension, which of course will break the next time Gnome updates.