use Sphinx searchindex.js