https://www.omgubuntu.co.uk/2011/12/five-useful-gnome-shell-extensions