Gnome-Shell: Shell search does not find all programs

view story

https://bbs.archlinux.org – Hello there, following issue is bothering me:After update to gnome 3.8 (some time ago, because of this issue I switched to KDE, but would like to return to gnome) the shell search does not find all programs when searching.E.g. thunderbird, chromium, vlc are not found, but applications shipped with gnome are.In "show all applications" I see the icons of all programs, so the search is having the problem.Gnome-Shell extensions installed are "dash-to-dock" and "topicons", but disabling them has no effect.Ask for more information if you like, don't know which are (HowTos)