I have installed GNOME Shell extensions from two sources:
- my distribution repository (i.e. installed as a local package)
- https://extensions.gnome.org
Sometimes I get prompted with an upgrade from extensions.gnome.org, but I can't tell what the original state of the extension was (so I can decide whether to get the upgrade, switch source, etc).
How can I see which source an extension came from?