[Feature request] Add "Show in Files " button / option for user-installed extensions

[dasnoopy]

As per attached,ugly, mockup , would be interesting have a "Show in Files " button that open Files directly to the extension folder in ~/.local/share/gnome-shell/extensions/extension-folder@.....: basically a shortcut to the extension folder, just to avoid to do it manually...

This option should be available, IMO , only for user-installed extensions

Thanks
Andrea

[oscfdezdz]

This button should probably go on the details page better as eventually all the details of the extensions will be seen there, see #517