@YetAnotherGeekGuy sorry for delay in reply. This server, which is a very small single-user instance, knows about 5128 other fedi domains, a small fraction of the whole. Its average fetch time for a profile update from one of those other servers is 7 seconds, p99 27 seconds. The *scatter* takes too long, never mind the gather. And for the effort it takes to maintain (local? distributed?) bloom filters, you might as well maintain the index itself, avoid needing to poll hundreds (likely, thousands) servers in a second pass. No one wants to wait half a minute to have their search complete.