You are going to leave GNOME Extensions website to https://extensions.gnome.org/extension/105/panel-docklet/.