Google

Привет! Я за некоторое время накопил столько документации и прочего, что стало проще скачать книжку заново, чем найти на харде.

Ну и зачем тогда искать книжку локально, если можно скачать заново?

А надо просто один вечер посвятить наведению порядка. И неужели в гноме нет встроенной приблуды для локального поиска?

Погляди здесь. Правда требует установки дополнительного барахла для поиска внутри разных форматов, например, внутри pdf ищет только после установки poppler-utils.

в GNOME и так работает индексатор Tracker. искать можно прямо через поиск в Activities.
или я не понял, что тебе нужно?

Tracker же не ищет внутри файлов (в частности - pdf)?

*.pdf в поиске файлов введи