Search engine in top-level docs.indiscale.com
I don't know into which repo this issue belongs.
This was reported by an external user: It would be nice to have a search box top level on docs.indiscale.com to make it possible to search all sub documentation topics.
Is this possible?