Related to
And more generally Discussing Fedora Docs website improvement
Before yesterday, the ideas were embedding something external like DuckDuckGo (or something else), creating an own search function, or just focus on SEO so that every user can himself/herself use his/her preferred search engine. In the minutes, I read that Elastic Search and antora-lunr-extension are further alternatives.
Maybe it makes sense to close related tickets (as suggested by @pboy) and create one discussion to identify what the long term solution should be (I think there is already a consensus developing towards antora-lunr-extension?), and whether a short term intermediate solution is necessary until the other is ready for deployment (and if yes, which alternative to use for that).
However, I suggest to leave the final decisions to @darknao as such work seems to end up at his desk. I think all approaches we have put forward so far are at least “acceptable”, and this seems not a topic worth to spend too much time on: in my experience (mostly from ask.fedora), most people don’t go to Fedora Docs and search for what they need (e.g., set up a web server) but instead, they search for what they need (on google, ddg, or whatever) and then potentially end up at Fedora Docs, making SEO a more major issue anyway in my opinion. Just some thoughts 