Update 2:30pm PDT 24 July: search should work but new data is not currently being indexed. We are continuing to work on the issue.
Update 24 July 2018: we will be performing additional maintenance on our search services on July 24 to address these problems.
We are currently experiencing problems with our search interface. We are investigating the issue but do not yet have an ETA for resolution.
* Time is expressed in your local timezone as defined by your web browser (which is ).