JBang documentation search functionality: Algolia vs Antora's lunr-extension.

[wfouche]

Algolia search is meant for very large documentation sites and seems a bit overkill for JBang's documentation. Currently, the search functionality is not picking up several search keywords like JBANG_JAVA_OPTIONS, etc.

The @antora/lunr-extension is the "official" way to add search to Antora 3.x:

• Build Integration: You add the extension to your antora-playbook.yml.

• Automatic Indexing: Every time you run the antora command, it automatically looks at your AsciiDoc files and creates the search index.

• No Configuration: It "just works" with the default Antora UI and requires no external accounts or API keys.

I believe that @antora/lunr-extension will provide a better search experience for JBang users.

[wfouche]

I'm planning to submit a PR that replaces Algolia search with the @antora/lunr-extension.