Easy way to update gnome-shell-extensions

[Ice Tea]

https://extensions.gnome.org/local/

https://www.omgubuntu.co.uk/2017/05/how-to-update-gnome-extensions

In case anyone else has also been doing it from github / src for years without realising.