a gnome shell extensions which gives some info about the system