Rudder

When starting Rudder with only the OIDC provider enabled (properties rudder.auth.provider=oidc), and when still having other users managed by file,
when attempting to delete the file users from the button, they are successfully removed from the user management interface, except for the last one :

There is a success notification, and the user is no longer in the rudder-users.xml file. But in the database the user is still present with the active or disabled status instead of deleted.

That user should be marked as deleted in the database and no longer displayed in the main user management interface.

N.B. : there are also another weird behavior : after deleting it (then it the file no longer has users), and creating a new user from the interface, the previous user eventually gets deleted and replaced by the new user 🤯