diff --git a/js/search_index.js.gz b/js/search_index.js.gz index 27923d1b..1e3269e1 100644 Binary files a/js/search_index.js.gz and b/js/search_index.js.gz differ