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.