We've identified and fixed the issue. Now we're rebuilding the search index. Meanwhile your search results might be incomplete or inaccurate.
Posted Jan 03, 2018 - 17:17 UTC
Our full-text search is currently not functioning. We are investigating the cause and will update when we have more info. We sincerely apologize for this inconvenience and are working to resolve it asap.