gnome-shell favourites integration on fedora 25