Searches have been re-enabled. Thank you for your patience during the downtime.
Access to the search server has been reinstated, but with a much lower timeout setting. This should mean that as long as the server stays responsive, everything should be fine; but if it becomes unresponsive, that at least it shouldn’t take down the whole web site with it. Time will tell, I suspect.