Comment 162 for bug 1164016

Actually this one is marked as fixed because it was indeed fixed several years ago, but then the fix was lost (i.e. the patch not rewritten) when a new version of gnome was released, "because" search is faster now, which according to some nonsensical reasoning by those who don't uderstand this issue, meant to them that the issue was no longer relevant.