Panel-Docklet: A must-install extension for GNOME 3