diff --git a/js/search_index.js.gz b/js/search_index.js.gz
index 0fdeb4b8..2a7996d9 100644
Binary files a/js/search_index.js.gz and b/js/search_index.js.gz differ