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/custom-hot-corners-extended is a good alternative to workspace-switcher-manager