Gnome shell extension prototype