Adding the old search index as search is broken in the new gitbook