Nevertheless, when it comes from install them via command-line the explanation indicates that just to extract the appropriated-version zip file under
~/.local/share/gnome-shell/extensions/ and restart the shell would be enough.
However, I got my doubts about it. I mean, when we turn on the switcher at extension's page in extensions.gnome.org, and click to install it, is just this that is done?
I have scripted this process to automatize the extensions installation after upgrade to a new system-installation of 20.04 Focal Fossa, and observed some extensions weren't available, even from site perspective, even after whole system (and consequently shell) restart.
So I came here to clarify, how to properly install a GNOME extension via CLI? Has something changed about this in GNOME 3.36.2?