Thanks for the details here. Fedora is a bit more secure than Mint, so I was hoping to jump over there if everything worked. But I didn’t do my research about gnome extensions beforehand, so customizing the UI was a hill I didn’t expect.