remove old sphinx search junk
Merge pull request #703 from cvan/sphinx

remove old sphinx search junk