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/arunk140/gnome-command-menu is a good alternative to workspace-switcher-manager