Deleted user stuck in users query

Hi,

One of our tenants has a single user who is stuck in the query index for at least a couple days now.

To clarify,

  • The user-account was deleted somewhere last week, probably 24th of March.
    Past Friday, 27th of March, we’ve tried a couple more deletes
  • The good parts, the immediate API REST endpoints can’t find the user anymore.
    That user is also not able to login anymore
  • The bad part, that users is still in the query resuts from /api/v2/users.
    It has been stuck in that index for close a week a now.

It’s only a single user that is leaked like that. Other create/update/delete do propagate correctly.

It smells a bit like a bug. It’s not easy to find more info on how that issue happened, but I can dig deeper if there specific questions.

Nonetheless is there a way to vacuum that query index?