BaBar GNOME Shell extension App grid, favorites, workspaces & tasks in top panel https://extensions.gnome.org/extension/4000/babar/