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

У меня установлены 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. На LauchPad.net (с 2011 года) существует ошибка 726439 с именем "Поиск документа, которая возвращает неизвестную ошибку:" URI xref:search='не удалось проанализировать "" о прерванном (?) поиске в Yelp. Если я нажму Ctrl S для поиска searchterm в текущей версии Yelp он все еще возвращает

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

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