Compared to the current Documenter.jl local search index and search, the JuliaHub search is much faster, and won’t require downloading the entire search index.
Would it be possible to in the future hook up this search to https://docs.julialang.org/, to improve the search experience? Or perhaps even make it an option in Documenter.jl?
There has been some prior work towards hosted search using Algolia, see RFC: Improved Search for Documentation and https://github.com/JuliaDocs/Documenter.jl/pull/976. But if a hosted search focused on Julia already exists, perhaps that can be used?