Search appears to have broken down

Thanks for the extra info @rhg

I think the process for adding new spins to the search engine index might have gotten stuck in the recent calamity (turns out it was a power outage) at OVH, or something I didn’t do right in the recovery from that.

I’ll work on this today. Let’s hope to see some improvement before tomorrow.