OK, things seem to be working properly now. Searches are still slow (averaging about 10 seconds) — but that’s much better than it was before (several minutes). No more batch processing for a while…