GNOME Shell extensions

[Adam Batkin]

On 08/19/2015 07:18 AM, Kalev Lember wrote:
> Yes, this needs some more thought. Right now the answer is that they are
> mostly meant to be installed through http://extensions.gnome.org/ web
> interface instead.

Am I the only one who finds it creepy that the only built-in way to 
manage extensions is through a web UI? Or even that you *can* manage 
extensions with a web UI?

-Adam Batkin