A spotlight extension for gnome shell