Did they only switch recently? I remember seeing Auth0 a few months ago.