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/G-dH/overview-feature-pack is a good alternative to workspace-switcher-manager