Search engine switched to new version of ElasticSearch (and to a different server). Should be faster, with more features upcoming. Please report any problems.