additional and optional functionality to GNOME Shell
