After a reboot today, gnome is showing me this weird taskbar on the bottom of my screen which only includes a workspace picker on the far right. I haven’t installed any new extension, does anyone have an idea what “taskbar” this is and how I can disable it since I am using dash to panel?