**Hello,** After upgrading from fedora 36 & Gnome 42 to fedora 37 & Gnome 43 the workspaces are not showing anymore  at the top bar. any solution for that? please. It is a great extension, hope to maintain it soon. **Thanks**