mastodon.social temporarily losing its search has not been completely in vain: I've improved the re-indexing function so it should run faster for other server admins as well (in 3.2.0)