You are going to leave GNOME Extensions website to https://gitlab.com/edwardrf/gnome-shell-menu-shortcut-extension.

Cancel Proceed anyway