Search box should be working now. It was unfortunate bug caused by server upgrade.

Thanks for your patience.

Andrei