https://www.omgubuntu.co.uk/2010/09/dock-extension-for-gnome-shell