Как скачать расширение GNOME вручную

Я не могу установить это расширение: ссылка устарела. Подавляющее большинство "устаревших" расширений работает нормально после изменения файла metadata.json, поэтому я все равно хочу его скачать, исправить и получить рабочее расширение через 2 секунды, но этот веб-сайт даже не позволяет мне загружать zip с файлы расширения, потому что, видимо, он считает, что я слишком глуп, чтобы добавить 1 строку в файл metadata.json.

Есть ли способ заставить его дать мне этот файл? Я думаю, что видел способ сделать это несколько месяцев назад, загрузив какой-то файл JSON, который содержит URL-адрес zip-файла, но я не помню, как это сделать, и я нигде не могу его найти.