.gitignore: search_index is unused