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

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

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