Gnome-shell extension: displays tracker search results in the shell overview