You are going to leave GNOME Extensions website to https://gitlab.com/jenslody/gnome-shell-extension-panel-osd.