On 08/19/2015 07:18 AM, Kalev Lember wrote:
Yes, this needs some more thought. Right now the answer is that they
mostly meant to be installed through http://extensions.gnome.org/
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?