Hi,I have removed the search box from my documentation. But I think the search index is still generated. Indeed I see the files `search.html` `searchindex.js` are still included.Is there any options I can set to completely disable the search index?
def on_builder_inited(app): if app.builder.name == 'html': app.builder.search = False
def setup(app): app.connect('builder-inited', on_builder_inited)