Update through website fails

[EvgenyMakarov]

I am trying to update the extension through https://extensions.gnome.org/local/. I press the green button, agree to installation, but then nothing happens. The page shows that the extension is on, but the directory ~/.local/share/gnome-shell/extensions/[email protected] is empty. sudo journalctl /usr/bin/gnome-shell contains

Error while installing [email protected]: ExtractExtensionError ()
unzip:  cannot find or open --, --.zip or --.ZIP.

Error while installing [email protected]: ExtractExtensionError ()
Window manager warning: META_CURRENT_TIME used to choose focus window; focus window may not be correct.

JS ERROR: Could not load extension [email protected]: Error: Missing metadata.json
                                                              createExtensionObject@resource:///org/gnome/shell/ui/extensionSystem.js:222:19
                                                              _loadExtensions/<@resource:///org/gnome/shell/ui/extensionSystem.js:494:29
                                                              collectFromDatadirs@resource:///org/gnome/shell/misc/fileUtils.js:27:17
                                                              _loadExtensions@resource:///org/gnome/shell/ui/extensionSystem.js:474:9
                                                              _enableAllExtensions@resource:///org/gnome/shell/ui/extensionSystem.js:508:13
                                                              _sessionUpdated@resource:///org/gnome/shell/ui/extensionSystem.js:539:13
                                                              init@resource:///org/gnome/shell/ui/extensionSystem.js:49:9
                                                              _initializeUI@resource:///org/gnome/shell/ui/main.js:245:5
                                                              start@resource:///org/gnome/shell/ui/main.js:141:5
                                                              @<main>:1:31

I have Ubuntu 19.10 with Gnome 3.34.2.

[EvgenyMakarov]

One year later still does not install Ubuntu 20.04 through https://extensions.gnome.org/. Switching the toggle to ON does nothing and returns to OFF after reloading page. The directory ~/.local/share/gnome-shell/extensions/[email protected] is empty. sudo journalctl /usr/bin/gnome-shell shows

Error while installing [email protected]: ExtractExtensionError (undefined)