The Internode Mirror contains a wide selection of software for download by Internode customers.
File Download Mirror Directory Listing
Index of /pub/debian/pool/main/g/gnome-shell-extension-shortcuts/
Index of /pub/debian/pool/main/g/gnome-shell-extension-shortcuts/