You are going to leave GNOME Extensions website to https://gitlab.com/paddatrapper/shortcuts-gnome-extension.