Documentation search bar is not relative to the version of Jetty

[lachlan-roberts]

If you browse the Jetty 10 documentation, and search for anything in the search bar, all the results are for Jetty 12 not Jetty 10.

We should only search the documentation for the version of Jetty that you are viewing. Or at least prioritize the current version in the results.

[mojavelinux]

This is a feature that the Antora Lunr extension is working to incorporate. See https://gitlab.com/antora/antora-lunr-extension/-/issues/51

[github-actions[bot]]

This issue has been automatically marked as stale because it has been a full year without activity. It will be closed if no further activity occurs. Thank you for your contributions.

[mojavelinux]

Note that the aforementioned feature of the Antora Lunr Extension is currently being reviewed and should be available in a few weeks at the longest, if all goes well.