<div dir="ltr"><div>Hello folks,</div><div><br></div><div>I spend some time today mucking about trying to figure out how to make our documentation search a better experience. The short answer is, search kind of works now.</div><div><br></div><div>Long answer: mkdocs creates a client side file which is used for search. RTD overrides this by referring people to Elasticsearch. However, that doesn&#39;t clear out stale entries and we&#39;re plagued with a whole lot of stale entries. I&#39;ve made some changes that other consumers of RTD have done to override our search to use the JS file rather than Elasticsearch.<br></div><div><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">nigelb<br></div></div>
</div></div>