Как выполнить полнотекстовый поиск на страницах справки офлайн (от Yelp / справка гнома или что-то другое)?

У меня есть и Ubuntu 16.04 LTS и Ubuntu 18.04 установленный LTS.

Я хочу искать документацию и считать ее офлайн (поскольку она включена в установленные пакеты в /usr/share/help и другие местоположения). Поскольку далеко я могу понять, что это имеет три формата:

• HTML - .page (dpkg -S .page | grep -E /usr/share/help | awk '{print $1}' | sort | uniq | wc -l возвраты 12 результатов)
• DocBook - .docbook (dpkg -S .docbook | grep -E /usr/share/help | awk '{print $1}' | sort | uniq | wc -l возвраты 21 результат)
• ManPage (многие от manpath = /usr/local/man:/usr/local/share/man:/usr/share/man)

Эти файлы представляются программой Yelp (от yelp пакет) с исполняемыми файлами yelp и gnome-help.

Примечания:

1. здесь на AskUbuntu был подобный вопрос о базе данных ScrollKeeper (обеспеченный rarian-compat пакет) без ответа;

2. существует ошибка, 726 439 названных "Поиск документа возвращают Неизвестную ошибку: 'URI xref:search =' не мог быть проанализирован" на LauchPad.net (с 2011 год) о поврежденном (?) поиске в Yelp. Если я нажимаю CtrlS для поиска searchterm в текущей версии Yelp это все еще возвращается

   Неизвестная ошибка
   URI ‘xref:search=searchterm’ не мог быть проанализирован.

Конечно, я могу работать grep по всем этим файлам, но действительно ли возможно запустить такой поиск от Yelp?