You are going to leave GNOME Extensions website to https://codeberg.org/human.experience/gnome-shell-toggle-applications.