A way to manually delete these users via the management-api could also work, it would at least allow us to self-resolve.