Search restored

In the Feb. 2 push, the search functionality was restored. It had been removed during the performance issues of December. We saw that the changes made to improve performance allowed it to return.

We hope to improve search over time.