I've been using this extension for years, and I can confirm it's fantastic. Lots of configurability make it so that I can have the exact panel that I want. In

I've been using this extension for years, and I can confirm it's fantastic. Lots of configurability make it so that I can have the exact panel that I want. In my case, it's Auto-hide + app shortcuts + windows with no grouping + keyboard shortcuts all apps and windows and for unhiding. The best thing about Linux desktops is personalisation.