GNOME Shell extension that adds workspace switcher options and allows you to customize workspace switcher popup and make it useful.
Why do you think that https://github.com/zhanghai/gnome-shell-extension-transparent-top-bar is a good alternative to workspace-switcher-manager