<div dir="ltr"><a href="http://docs.python.org/dev/">http://docs.python.org/dev/</a><br><br>the search box worked for earlier releases but has been broken and returns nothing useful of late.<br><br>If I enter simple terms like &#39;time&#39; or &#39;os&#39; or &#39;os.walk&#39; what is returned is pathetic.<br>
<br>how does this work?&nbsp; is an index corrupt or not being regenerated?<br><br>-gps<br><br><br><br></div>