You are going to leave GNOME Extensions website to https://github.com/miro011/gnome-extension-workspace-buttons-with-app-icons.