Fixup "Undelete deleted shibboleth users on relogin"