A GNOME Shell extension to make the top panel application's icon smaller