Does anybody know for sure how long the delay actually is?
No. Not even me who programmed it.

The search index is updated every 8 hours, so it shouldn't take longer than that. But exactly when that happens is not possible to say. And it differs between servers, so reloading the page might give a different result.