https://www.omgubuntu.co.uk/2010/09/how-to-restore-default-gnome-panels-in-ubuntu