dash-from-panel GNOME Shell extension Dock at the top of the screen that appears on panel hover, based on GS native dash https://extensions.gnome.org/extension/4741/dash-from-panel/