Update searchindex.html