Результаты поиска в GNOME Shell 3.8

У меня есть два пользователя на моей Ubuntu 13.04. Оба используют GNOME Shell 3.8 из PPA. У меня проблема в том, что с одним из моих пользователей инструмент поиска в GNOME Shell не работает должным образом. Например, поиск «libre» не вернет мне ни одного программного пакета LibreOffice. С другим пользователем это работает хорошо.

Я попытался переустановить LibreOffice, без изменений. Я также попытался сбросить GNOME Shell в соответствии с . Как я могу сбросить GNOME к значениям по умолчанию? , также без изменений.

Есть идеи?